Results for:
"
J.+Cleaveland+Cady
" in Documents
- Simulation revisited 2001 6 citations ? 0 self
- Abstract. This paper develops an ecient algorithm for determining when one system is capable of simulating the behavior of another. The method combines an iterative algorithm for computing behavioral ...
-
Rating:
Views: (1006)
Pages: ()
Uploaded: 13-05-09
- Evidence-based model checking 2002 26 citations ? 3 self
- Abstract. This paper shows that different ?meta-model-checking ? analyses can be conducted efficiently on a generic data structure we call a support set. Support sets may be viewed as abstract encodin...
-
Rating:
Views: (1000)
Pages: ()
Uploaded: 08-04-09
- Testing-Based Abstractions for Value-Passing Systems
- Abstract. This paper presents a framework for the abstract interpretation of processes that pass values. We define a process description language that is parameterized with respect to the set of value...
-
Rating:
Views: (1010)
Pages: ()
Uploaded: 08-04-09
- Efficient model checking via b?chi tableau automaton 2001 3 citations ...
- Abstract. This paper describes an approach to engineering efficient model checkers that are generic with respect to the temporal logic in which system properties are given. The methodology is based on...
-
Rating:
Views: (1009)
Pages: ()
Uploaded: 08-04-09
- Statecharts Via Process Algebra 1999
- Statecharts is a visual language for specifying the behavior of reactive systems. The language extends finite-state machines with concepts of hierarchy, concurrency, and priority. Despite its populari...
-
Rating:
Views: (1006)
Pages: ()
Uploaded: 13-05-09