460 search results - page 19 / 92 » Translating Software Designs for Model Checking |
EUROMICRO
2007
IEEE
14 years 1 months ago
2007
IEEE
Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single compon...
ICSE
2005
IEEE-ACM
14 years 7 months ago
2005
IEEE-ACM
It is widely recognized that in order to make performance validation an integrated activity along the software lifecycle it is crucial to be supported from automated approaches. E...
SPIN
2005
Springer
14 years 27 days ago
2005
Springer
Embedded software verification is an important verification problem that requires the ability to reason about the timed semantics of concurrent behaviors at a low level of atomic...
ICRE
1998
IEEE
13 years 11 months ago
1998
IEEE
Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here at by judiciously abst...
FASE
2008
Springer
13 years 9 months ago
2008
Springer
We introduce a logical verification framework for checking functional properties of service-oriented applications formally specified using the service specification language COWS. ...