On temporal program verification rules F. Kröger RAIRO. Inform. théor., 19 3 (1985) 261-280 Published online: 01 February 2017 DOI: 10.1051/ita/1985190302611