Variants of LTL Query Checking

DOI10.1007/978-3-642-19583-9_11zbMath1325.68144OpenAlexW1568047036MaRDI QIDQ5391524

Hana Chockler, Arie Gurfinkel, Ofer Strichman

Publication date: 6 April 2011

Published in: Hardware and Software: Verification and Testing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-19583-9_11

Mathematics Subject Classification ID

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

Related Items (2)

A tableau construction for finite linear-time temporal logic ⋮ An abstraction-refinement framework for trigger querying

Uses Software

• PBS

This page was built for publication: Variants of LTL Query Checking