Functional specification and proof of correctness for time dependent behaviour of reactive systems

DOI10.1007/BF01245633zbMath0738.68055OpenAlexW2059424634MaRDI QIDQ1176111

Vangalur S. Alagar, Geetha Ramanathan

Publication date: 25 June 1992

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01245633

zbMATH Keywords

roboticsreactive systemsdurational eventsfunctional formalism

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Yeast: A case study for a practical use of formal methods ⋮ Refinement of events in the development of real-time distributed systems

Cites Work

• Statecharts: a visual formalism for complex systems
• The mutual exclusion problem
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Functional specification and proof of correctness for time dependent behaviour of reactive systems