Translation Results for Modal Logics of Reactive Systems

F Laroussinie,Ph Schnoebelen,S Pinchinat

doi:10.1007/978-1-4471-3227-1_31

Translation Results for Modal Logics of Reactive Systems

F Laroussinie, Ph Schnoebelen + Show 1 more

https://doi.org/10.1007/978-1-4471-3227-1_31

Copy DOI

Publication Date: Jan 1, 1994

Citations: 2

Affiliation: Techniques for Biomedical Engineering and Complexity Management–Informatics, Mathematics and Applications Grenoble, University of Sussex

#Verification Of Reactive Systems #Model Checking Tools + Show 8 more

Abstract
Full-Text PDF
Similar Papers

Abstract

Modal logics are an important tool in the analysis, specification and verification of reactive systems [12]. Among many other applications, logics like HML have been used as a benchmark for semantic equivalences [9], as the specification language used in model checking tools [1], and as a language in which to explain why two systems are not semantically equivalent [11].

Full Text