Consistent partial model checking

MaRDI QIDQ2851539zbMATH OpenFDO

Authors Michael Huth

Publication date 10 October 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066104050844

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Model-checking view-based partial specifications
• A formal framework for viewpoint consistency
• On model checking multiple hybrid views
• scientific article; zbMATH DE number 1905120
• On the consistency, expressiveness, and precision of partial modeling formalisms

Cited in

(11)

• Strategies for consistency checking based on unification
• A partial approach to model checking
• Latticed-LTL synthesis in the presence of noisy inputs
• Constructive consistency checking for partial specification in Z
• Natural projection as partial model checking
• GSTE is partitioned model checking
• Latticed Simulation Relations and Games
• Model-checking view-based partial specifications
• Multi-valued verification of strategic ability
• Multi-Valued Reasoning about Reactive Systems
• On model checking multiple hybrid views

This page was built for publication: Consistent partial model checking

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