V
Vassili Hartonas-Garmhausen
Researcher at Carnegie Mellon University
Publications - 4
Citations - 3529
Vassili Hartonas-Garmhausen is an academic researcher from Carnegie Mellon University. The author has contributed to research in topics: Model checking & Formal verification. The author has an hindex of 4, co-authored 4 publications receiving 3474 citations.
Papers
More filters
Book
Symbolic Model Checking
TL;DR: Using symbolic model checking techniques it is possible to verify industrial-size finite state systems and models with more than 10120 states have been verified using special techniques.
Book ChapterDOI
Symbolic Model Checking for Probabilistic Processes
TL;DR: A symbolic model checking procedure for Probabilistic Computation Tree Logic PCTL over labelled Markov chains as models is introduced, based on the algorithm used by Hansson and Jonsson [24], and is efficient because it avoids explicit state space construction.
Journal ArticleDOI
Verification of a safety-critical railway interlocking system with real-time constraints
Vassili Hartonas-Garmhausen,Sérgio Campos,Alessandro Cimatti,Edmund M. Clarke,Fausto Giunchiglia +4 more
TL;DR: This work describes an alternative verification technique based on symbolic model checking that can automatically and exhaustively search the state space of the system and verify if properties are satisfied or not, and provides useful quantitative timing information about the behavior of theSystem.
Proceedings ArticleDOI
Verification of a safety-critical railway interlocking system with real-time constraints
Vassili Hartonas-Garmhausen,Sérgio Campos,Alessandro Cimatti,Edmund M. Clarke,Fausto Giunchiglia +4 more
TL;DR: The work describes an alternative verification technique based on symbolic model checking that can automatically and exhaustively search the state space of the system and verify if properties are satisfied or not, and provides useful quantitative timing information about the behavior of theSystem.