148 search results - page 25 / 30 » Symbolic Execution and Model Checking for Testing |
CJ
2004
13 years 7 months ago
2004
This paper describes a way to manage the modeling and analysis of Scheduled Maintenance Systems (SMS) within an analytically tractable context. We chose a significant case study h...
FOCS
2005
IEEE
14 years 1 months ago
2005
IEEE
The automata-theoretic approach is one of the most fundamental approaches to developing decision procedures in mathematical logics. To decide whether a formula in a logic with the...
BELL
2000
13 years 7 months ago
2000
A significant part of the call processing software for Lucent's new PathStar access server [FSW98] was checked with automated formal verification techniques. The verification...
ISSRE
2000
IEEE
14 years 10 hour ago
2000
IEEE
Despite the growing interest for component-based systems, few works tackle the question of the trust we can bring into a component. This paper presents a method and a tool for bui...
AIMSA
2004
Springer
14 years 1 months ago
2004
Springer
The ability to automatically compose web services, and to monitor their execution, is an essential step to substantially decrease time and costs in the development, integration, a...