scientific article; zbMATH DE number 1790379

MaRDI QIDQ4549423zbMATH OpenFDO

Authors Takenobu Aoshima, Naoki Yonezaki

Publication date 28 August 2002

zbMATH Keywords

proof systemsatisfiabilitytableau method

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Tableau-based model checking in the propositional mu-calculus
• scientific article; zbMATH DE number 1796122
• scientific article; zbMATH DE number 1696820
• A tableau-based decision procedure for CTL^*
• Local model checking for infinite state spaces

Cited in

(1)

• Qualitative analysis of gene regulatory networks by temporal logic

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