An algebraic specification for CTL with time constraints

zbMATH Open1240.65005MaRDI QIDQ3095705FDOQ3095705

Authors: Laura Florentina Cacovean 

Publication date: 3 November 2011

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

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)

Cited In (2)

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

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)