955 search results - page 4 / 191 » Model Checking Operator Procedures |
BIRTHDAY
2004
Springer
14 years 9 days ago
2004
Springer
Abstract. We consider programs which are data independent with respect to two type variables X and Y , and can in addition use arrays indexed by X and storing values from Y . We ar...
FM
2005
Springer
14 years 2 months ago
2005
Springer
UML
2001
Springer
14 years 29 days ago
2001
Springer
: This paper presents a Unified Modeling Language (UML) model for VisualAge Generator (VG) business-oriented applications. This model was defined to bridge between two different mo...
CAV
2000
Springer
14 years 27 days ago
2000
Springer
Abstract. Bounded Model Checking based on SAT methods has recently been introduced as a complementary technique to BDD-based Symbolic Model Checking. The basic idea is to search fo...
ATVA
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Symbolic model checking provides partially effective verification procedures that can handle systems with an infinite state space. So-called “acceleration techniques...