Reactive Modules

• 1 January 1999
• journal article
• Published by Springer Nature in Formal Methods in System Design
• Vol. 15  (1) , 7-48
• https://doi.org/10.1023/a:1008739929481

Abstract

Keywords

• MODELING OF REACTIVE SYSTEMS
• FORMAL VERIFICATION
• COMPOSITIONALITY
• CONCURRENCY MODELING
• SYNCHRONY AND ASYNCHRONY
• ASSUME-GUARANTEE REASONING
• TEMPORAL ABSTRACTION