1463 search results - page 168 / 293 » Model Checking Implicit-Invocation Systems |
101
click to vote
RTSS
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract—We apply automata theory to specifying behavioral interfaces of objects and show how to check schedulability and compatibility of real time asynchronous objects. The beh...
149
click to vote
CIS
2004
Springer
15 years 7 months ago
2004
Springer
The pi calculus has been applied to modelling biochemical networks. In these applications, the modelling is done without considerations to exceptions. The Ipi calculus, the Interfe...
128
click to vote
DAC
1997
ACM
15 years 5 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...
104
click to vote
RE
2001
Springer
15 years 6 months ago
2001
Springer
at different levels of abstraction. There are two very different ways of using such languages. One approach is based on the manifestation of a single model, with construction of di...
113
click to vote
ECBS
2003
IEEE
15 years 6 months ago
2003
IEEE
System families are a form of high level reuse of development assets in a specific problem domain, by making use of commonalities and variabilities. To represent assets belonging ...