Model checking of RegCTL

MaRDI QIDQ3430687zbMATH OpenFDO

Authors Tomáš Brázdil, I. Černá

Publication date 23 March 2007

zbMATH Keywords

model checkingtemporal logictree automatonregular expressionfinite state systemdistributed model checking algorithm

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Local distributed model checking of RegCTL
• On the Model Checking Problem for Some Extension of CTL*
• Extended computation tree logic
• scientific article; zbMATH DE number 1705163
• scientific article; zbMATH DE number 2196601

Cited in

(7)

• CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks
• scientific article; zbMATH DE number 1536557 (Why is no real title available?)
• Extended computation tree logic
• On the Model Checking Problem for Some Extension of CTL*
• Extending CTL with Actions and Real Time
• Local distributed model checking of RegCTL
• Branching-time logics with path relativisation

This page was built for publication: Model checking of RegCTL

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