Finding State Solutions to Temporal Logic Queries

DOI10.1007/978-3-540-73210-5_15zbMath1213.68377OpenAlexW1545603837MaRDI QIDQ3608888

Marsha Chechik, Mihaela Gheorghiu, Arie Gurfinkel

Publication date: 6 March 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-73210-5_15

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (3)

Unnamed Item ⋮ An abstraction-refinement framework for trigger querying ⋮ Before and after vacuity

Uses Software

• NuSMV

This page was built for publication: Finding State Solutions to Temporal Logic Queries