Application of the trace assertion method to the specification, design, and verification of automaton programs

DOI10.1134/S036176880901006XzbMath1185.68417OpenAlexW2154141291WikidataQ57758831 ScholiaQ57758831MaRDI QIDQ840086

D. Ju. Chalyy, V. A. Sokolov, E. V. Kuzmin

Publication date: 4 September 2009

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

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• SWITCH

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Modeling, specification, and verification of automaton programs
• SWITCH technology: An automated approach to developing software for reactive systems
• The trace specification of communications protocols
• On a formal semantics of tabular expressions