An algebraic specification for CTL with time constraints

MaRDI QIDQ3095705zbMATH OpenFDO

Authors Laura Florentina Cacovean

Publication date 3 November 2011

zbMATH Keywords

algorithmsANTLRWorksCTL model checker

Mathematics Subject Classification ID

Probabilistic models, generic numerical methods in probability and statistics (65C20) Logic in artificial intelligence (68T27) Logic in computer science (03B70)

Recommendations

• Generating model checkers from algebraic specifications
• Timed CTL model checking in Real-Time Maude
• Model-checking in dense real-time
• Temporal logic in specification. Altrincham, UK, April 8-10, 1987. Proceedings
• scientific article; zbMATH DE number 1705170

Cited in

(2)

• Generating model checkers from algebraic specifications
• Formal analysis and control of timed automata with guards using (max, +) and (min, +) algebras

This page was built for publication: An algebraic specification for CTL with time constraints

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