Approximate model checking of real-time systems for linear duration invariants

MaRDI QIDQ5747190zbMATH OpenFDO

Authors Changil Choe, Hyong-Chol O, Song Han

Publication date 11 February 2014

Full work available at URL http://serdica-comp.math.bas.bg/index.php/serdicajcomputing/article/view/170/172

zbMATH Keywords

approximate model checkinggenetic algorithmlinear duration invariantreal-time systemverification

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• Checking integral real-time automata for extended linear duration invariants
• Checking temporal duration properties of timed automata.
• Model-checking discrete duration calculus
• Verification of Linear Duration Invariants by Model Checking CTL Properties
• Verifying continuous-time duration calculus against real-time automaton

Cited in

(2)

• Model checking of linear-time properties in multi-valued systems
• Efficient CTMC Model Checking of Linear Real-Time Objectives

This page was built for publication: Approximate model checking of real-time systems for linear duration invariants

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