Verification of Open Systems
From MaRDI portal
Publication:4928701
DOI10.1007/3-540-34874-3_5zbMath1266.68133MaRDI QIDQ4928701
Moshe Y. Vardi, Orna Kupferman
Publication date: 18 June 2013
Published in: Interactive Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-34874-3_5
68Q60: Specification and verification (program logics, model checking, etc.)
68Q17: Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.)
03B44: Temporal logic