scientific article; zbMATH DE number 1231556

MaRDI QIDQ4222871zbMATH OpenFDO

Authors Olaf Burkart, Yves-Marie Quemener

Publication date 20 December 1998

Full work available at URL http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume5.htm#olaf

zbMATH Keywords

model-checkingregular graphs

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Grammars and rewriting systems (68Q42)

Recommendations

• scientific article; zbMATH DE number 1231502
• scientific article; zbMATH DE number 2087437
• A graphical \(\mu\)-calculus and local model checking.
• Model checking the full modal mu-calculus for infinite sequential processes
• Model checking the full modal mu-calculus for infinite sequential processes

Cited in

(10)

• Symbolic reachability analysis of FIFO-channel systems with nonregular sets of configurations
• Model checking the full modal mu-calculus for infinite sequential processes
• Formal verification of object-oriented graph grammars specifications
• An automata-theoretic approach to infinite-state systems
• scientific article; zbMATH DE number 1231502 (Why is no real title available?)
• Model checking the full modal mu-calculus for infinite sequential processes
• Symbolic reachability analysis of FIFO-channel systems with nonregular sets of configurations
• scientific article; zbMATH DE number 2087437 (Why is no real title available?)
• scientific article; zbMATH DE number 7297863 (Why is no real title available?)
• Path Algorithms on Regular Graphs

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 Q4222871)