Finding State Solutions to Temporal Logic Queries

DOI10.1007/978-3-540-73210-5_15MaRDI QIDQ3608888zbMATH OpenOpenAlexFDO

Authors Mihaela Gheorghiu, Arie Gurfinkel, Marsha Chechik

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)

Recommendations

• On solving temporal logic queries
• Variants of LTL query checking
• scientific article; zbMATH DE number 1950556
• Computer Science Logic
• Automata, Languages and Programming

Cited in

(5)

• Before and after vacuity
• An abstraction-refinement framework for trigger querying
• Search strategies for resolution in temporal logics
• Efficient solving of time-dependent answer set programs
• Flow logic

Describes a project that uses

Uses Software

• NuSMV

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3608888)