Cited By
View all- Ročkai PBarnat JBrim L(2016)Model checking C++ programs with exceptionsScience of Computer Programming10.1016/j.scico.2016.05.007128:C(68-85)Online publication date: 15-Oct-2016
Verification of embedded systems has become increasingly important in many industrial domains. Safety critical embedded systems, such as those developed in aerospace industry, are regularly subject to automated formal verification process. In this paper ...
Type-based model checking algorithms for higher-order recursion schemes have recently emerged as a promising approach to the verification of functional programs. We introduce pattern-matching recursion schemes (PMRS) as an accurate model of computation ...
This paper provides an experimental study of the efficiency of simulation-based model-checking algorithms for continuous-time Markov chains by comparing:MRMC -- the only tool that implements (new) confidence-interval-based algorithms for verification of ...
Association for Computing Machinery
New York, NY, United States
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in