A graphical -calculus and local model checking.

DOI10.1007/BF02960756MaRDI QIDQ1433941zbMATH OpenFDO

Authors Huimin Lin

Publication date 1 July 2004

Published in Journal of Computer Science and Technology (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF02960756

zbMATH Keywords

local algorithmsmodal graphs

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)

Recommendations

• Model checking and boolean graphs
• scientific article; zbMATH DE number 2080055
• Local model checking in the modal mu-calculus
• scientific article; zbMATH DE number 2087626
• On model checking for the -calculus and its fragments

Cites work

• A lattice-theoretical fixpoint theorem and its applications
• Local model checking in the modal mu-calculus
• Modal logics and mu-calculi: An introduction
• Model checking and boolean graphs
• Tableau-based model checking in the propositional mu-calculus

Cited in

(15)

• Mu-calculus path checking
• Local model checking in the modal mu-calculus
• Model checking and boolean graphs
• On modal -calculus in S5 and applications
• scientific article; zbMATH DE number 1231556 (Why is no real title available?)
• scientific article; zbMATH DE number 2080055 (Why is no real title available?)
• scientific article; zbMATH DE number 2087626 (Why is no real title available?)
• scientific article; zbMATH DE number 1916675 (Why is no real title available?)
• scientific article; zbMATH DE number 2112326 (Why is no real title available?)
• On P-transitive graphs and applications
• A saturation method for the modal \(\mu \)-calculus over pushdown systems
• Fast mu-calculus model checking when tree-width is bounded.
• Succinct graph representations of -calculus formulas
• Model checking in the modal -calculus and generic solutions
• Size measures and alphabetic equivalence in the -calculus

This page was built for publication: A graphical \(\mu\)-calculus and local model checking.

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