Computer Aided Verification
From MaRDI portal
Publication:5900678
DOI10.1007/b11831zbMath1278.68160MaRDI QIDQ5900678
Antoine Petit, Deepak D'Souza, P. Madhusudan, Patricia Bouyer
Publication date: 20 April 2010
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b11831
93B50: Synthesis problems
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Control and synthesis of non-interferent timed systems, Supervisory Control with Partial Observations, Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems, MR4UM: a framework for adding fault tolerance to UML state diagrams, A supervisory control method for ensuring the conformance of real-time discrete event systems, Folk theorems on the determinization and minimization of timed automata, Synthesizing bounded-time 2-phase fault recovery, Verification and control of partially observable probabilistic systems, Symbolic synthesis of masking fault-tolerant distributed programs, The complexity of automated addition of fault-tolerance without explicit legitimate states, Verification and Control of Partially Observable Probabilistic Real-Time Systems, Timed Control with Observation Based and Stuttering Invariant Strategies