scientific article; zbMATH DE number 2086523

zbMATH Open1057.68066MaRDI QIDQ4737005FDOQ4737005

Authors: Michael Huth 

Publication date: 11 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2294/22940302.htm

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 1500661
• scientific article; zbMATH DE number 1863177
• Modal transition systems: composition and LTL model checking
• Local model checking in the modal mu-calculus
• scientific article; zbMATH DE number 2110619

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (11)

• Title not available (Why is that?)
• Minimal Proof Search for Modal Logic K Model Checking
• Combining search space partition and abstraction for LTL model checking
• Revising system specifications in temporal logic
• On the consistency, expressiveness, and precision of partial modeling formalisms
• Title not available (Why is that?)
• Model Checking Kernel P Systems
• CTL may be ambiguous when model checking Moore machines
• A new model for model checking: cycle-weighted Kripke structure
• A verification-driven framework for iterative design of controllers
• An inductive approach for modal transition system refinement

Uses Software

• MONA

This page was built for publication:

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