Composition methods for constructing characteristic formulas for dense-time models

DOI10.1134/S0361768812060023zbMath1448.68288OpenAlexW2032760362MaRDI QIDQ1938922

E. N. Bozhenkova

Publication date: 26 February 2013

Published in: Programming and Computer Software (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1134/s0361768812060023

zbMATH Keywords

verificationmodel-checkingtesting equivalencemodel of timed event structures

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A theory of timed automata
• Testing equivalences for processes
• Comparing the worst-case efficiency of asynchronous systems with PAFAS
• A process algebra for timed systems
• Testing equivalence as a bisimulation equivalence
• From timed automata to logic — and back
• Formal Methods for the Design of Real-Time Systems