Model checking linear duration invariants of networks of automata

DOI10.1007/978-3-642-11623-0_14MaRDI QIDQ3400924zbMATH OpenOpenAlexFDO

Authors Miaomiao Zhang, Zhiming Liu, Naijun Zhan

Publication date 28 January 2010

Published in Fundamentals of Software Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-11623-0_14

Mathematics Subject Classification ID

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

Recommendations

• Verification of Linear Duration Invariants by Model Checking CTL Properties
• Checking integral real-time automata for extended linear duration invariants
• Theoretical Aspects of Computing - ICTAC 2004
• Checking timed automata for linear duration properties
• Advances in model checking of extended linear duration invariants

Cited in

(5)

• Verification of Linear Duration Invariants by Model Checking CTL Properties
• Incremental Language Inclusion Checking for Networks of Timed Automata
• Checking integral real-time automata for extended linear duration invariants
• Theoretical Aspects of Computing - ICTAC 2004
• Checking timed automata for linear duration properties

This page was built for publication: Model checking linear duration invariants of networks of automata

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