3909 search results - page 363 / 782 » Extreme Model Checking |
151
click to vote
DAC
1997
ACM
15 years 7 months ago
1997
ACM
We present our experiences with the formal verification of an automotive chip used to control the safety features in a car. We used a BDD based model checker in our work. We descr...
127
click to vote
ADAEUROPE
2008
Springer
15 years 6 months ago
2008
Springer
The Ravenscar profile for Ada enforces several restrictions on the usage of general-purpose tasking constructs, thereby facilitating most analysis tasks and in particular functiona...
131
click to vote
JIISIC
2008
15 years 5 months ago
2008
This article presents an experience report on using MERODE as the business modeling method for the development of a web application. MERODE has several advantages as improving the...
137
click to vote
DLOG
2009
15 years 2 months ago
2009
A crucial task in process management is the validation of process refinements. A process refinement is a process description in a more fine-grained representation. The refinement i...
130
click to vote
JUCS
2010
14 years 11 months ago
2010
: We consider the uniform BSS model of computation where the machines can perform additions, multiplications, and tests of the form x 0. The oracle machines can also check whether...