382 search results - page 29 / 77 » Checking Interval Based Properties for Reactive Systems |
ICSE
2010
IEEE-ACM
13 years 10 months ago
2010
IEEE-ACM
The transition from single-core to multi-core processors has made multi-threaded software an important subject over the last years in computer-aided verification. Model checkers ...
CBSE
2006
Springer
14 years 11 days ago
2006
Springer
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
ICFEM
2007
Springer
14 years 15 days ago
2007
Springer
Abstract. CSP is a well-established formalism for modelling and verification of concurrent reactive systems based on refinement. Consolidated denotational models and an effective t...
DATE
2004
IEEE
14 years 11 days ago
2004
IEEE
This article presents an approach, which combines theorem proving-based refinement with model checking for state based real-time systems. Our verification flow starts from UML sta...
SMC
2007
IEEE
14 years 2 months ago
2007
IEEE
— Combining both intervals and discrete sets of numbers, this paper presents a definition for an extended grey number model representing both continuous and discrete grey number...