Related references
Note: Only part of the references are listed.Unifying theories of reactive design contracts
Simon Foster et al.
THEORETICAL COMPUTER SCIENCE (2020)
Unifying semantic foundations for automated verification tools in Isabelle/UTP
Simon Foster et al.
SCIENCE OF COMPUTER PROGRAMMING (2020)
RoboChart: modelling and verification of the functional behaviour of robotic applications
Alvaro Miyazawa et al.
SOFTWARE AND SYSTEMS MODELING (2019)
Unifying theories of time with generalised reactive processes
Simon Foster et al.
INFORMATION PROCESSING LETTERS (2018)
Building program construction and verification tools from algebraic principles
Alasdair Armstrong et al.
FORMAL ASPECTS OF COMPUTING (2016)
Generalised rely-guarantee concurrency: an algebraic foundation
Ian J. Hayes
FORMAL ASPECTS OF COMPUTING (2016)
A Survey on Reactive Programming
Engineer Bainomugisha et al.
ACM COMPUTING SURVEYS (2013)
Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems
Alberto Sangiovanni-Vincentelli et al.
EUROPEAN JOURNAL OF CONTROL (2012)
From control law diagrams to Ada via Circus
Ana Cavalcanti et al.
FORMAL ASPECTS OF COMPUTING (2011)
A process algebraic framework for specification and validation of real-time systems
Adnan Sherif et al.
FORMAL ASPECTS OF COMPUTING (2010)
Normal design algebra
Walter Guttmann et al.
JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING (2010)
A UTP semantics for Circus
Marcel Oliveira et al.
FORMAL ASPECTS OF COMPUTING (2009)