Computer Aided Verification
From MaRDI portal
Publication:5900677
DOI10.1007/b11831zbMath1278.68161MaRDI QIDQ5900677
Gaurav Chakravorty, Paritosh K. Pandya
Publication date: 20 April 2010
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b11831
Related Items
Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders, A survey on temporal logics for specifying and verifying real-time systems, Specification and optimal reactive synthesis of run-time enforcement shields
Uses Software