Verification of temporal properties
From MaRDI portal
Publication:4885623
DOI10.1093/logcom/6.3.343zbMath0851.68070MaRDI QIDQ4885623
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
03B70: Logic in computer science
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
A temporal negative normal form which preserves implicants and implicates, Automatically verifying temporal properties of pointer programs with cyclic proof, Deductive verification of alternating systems, A general technique for proving lock-freedom