Tableau-based model checking in the propositional mu-calculus

R Cleaveland - Acta Informatica, 1990 - Springer
This paper describes a procedure, based around the construction of tableau proofs, for
determining whether finite-state systems enjoy properties formulated in the propositional mu …
被引用次数：355 相关文章
[PS] umd.edu

[PS][PS] Tableau-Based Model Checking in the Propositional Mu-Calculus

R Cleaveland - cs.umd.edu
This paper describes a procedure, based around the construction of tableau proofs, for
determining whether nite-state systems enjoy properties formulated in the propositional mu …
[PS] umd.edu

[PS][PS] Tableau-Based Model Checking in the Propositional Mu-Calculus

R Cleaveland - cvs.cs.umd.edu
This paper describes a procedure, based around the construction of tableau proofs, for
determining whether nite-state systems enjoy properties formulated in the propositional mu …

[引用][C] Tableau-based model checking in the propositional mu-calculus

R CLEAVELAND - Acta Informatica, 1990 - cir.nii.ac.jp
[PDF] psu.edu

[PDF][PDF] Tableau-Based Model Checking in the Propositional Mu-Calculus

R Cleaveland - Citeseer
This paper describes a procedure, based around the construction of tableau proofs, for
determining whether nite-state systems enjoy properties formulated in the propositional mu …

[引用][C] Tableau-based model checking in the propositional Mu-calculus

R CLEAVELAND - Acta informatica, 1990 - pascal-francis.inist.fr
Tableau-based model checking in the propositional Mu-calculus CNRS Inist Pascal-Francis CNRS
Pascal and Francis Bibliographic Databases Simple search Advanced search Search by …

Tableau-based model checking in the propositional mu-calculus

R Cleaveland - Acta Informatica, 1990 - dl.acm.org
This paper describes a procedure, based around the construction of tableau proofs, for
determining whether finite-state systems enjoy properties formulated in the propositional mu …
[PS] umd.edu

[PS][PS] Tableau-Based Model Checking in the Propositional Mu-Calculus

R Cleaveland - cs.umd.edu
This paper describes a procedure, based around the construction of tableau proofs, for
determining whether nite-state systems enjoy properties formulated in the propositional mu …

[引用][C] Tableau-based model checking in the propositional Mu-calculus

R CLEAVELAND - Acta informatica, 1990 - Springer

[引用][C] Tableau-based model checking in the propositional mu-calculus

R Cleaveland - Acta Informatica, 1990 - Springer