Verification of temporal properties

DOI10.1093/logcom/6.3.343zbMath0851.68070OpenAlexW2570289169MaRDI QIDQ4885623

Orna Grumberg, Limor Fix

Publication date: 10 November 1996

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://hdl.handle.net/1813/6142

zbMATH Keywords

temporal reasoningdeductive systemreactive programs

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (4)

Deductive verification of alternating systems ⋮ A general technique for proving lock-freedom ⋮ A temporal negative normal form which preserves implicants and implicates ⋮ Automatically verifying temporal properties of pointer programs with cyclic proof

This page was built for publication: Verification of temporal properties