Model checking.

MaRDI QIDQ2751376zbMATH OpenFDO

Authors Holger Schlingloff, Edmund Clarke

Publication date 2001

zbMATH Keywords

automatapropositional temporal logics

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Recommendations

• scientific article; zbMATH DE number 1746645
• scientific article; zbMATH DE number 910719
• scientific article; zbMATH DE number 2080188
• scientific article; zbMATH DE number 1487860
• Model checking

Cited in

(12)

• A class of automata for the verification of infinite, resource-allocating behaviours
• scientific article; zbMATH DE number 1507201 (Why is no real title available?)
• Model checking hybrid logics (with an application to semistructured data)
• scientific article; zbMATH DE number 1688350 (Why is no real title available?)
• Deciding inseparability and conservative extensions in the description logic
• Inseparability and conservative extensions of description logic ontologies: a survey
• A STIT logic for reasoning about social influence
• The expressibility of fragments of hybrid graph logic on finite digraphs
• scientific article; zbMATH DE number 1746645 (Why is no real title available?)
• Computation tree logic and NuSMV model checker
• Introduction to model checking
• Tutorial on Model Checking: Modelling and Verification in Computer Science

This page was built for publication: Model checking.

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