493 search results - page 58 / 99 » Bounded LTL Model Checking with Stable Models |
FUIN
2010
14 years 7 months ago
2010
Bounded Model Checking (BMC) is an efficient technique applicable to verification of temporal properties of (timed) distributed systems. In this paper we show for the first time ho...
ICWS
2009
IEEE
15 years 7 months ago
2009
IEEE
Analyzing interactions among peers that interact via messages is a crucial problem due to increasingly distributed nature of current software systems, especially the ones built us...
CHARME
2003
Springer
15 years 1 months ago
2003
Springer
Industrial verification teams are actively developing suitable event sequence languages for hardware verification. Such languages must be expressive, designer friendly, and hardwar...
SPIN
2007
Springer
15 years 4 months ago
2007
Springer
Boolean programs are frequently used to model abstractions of software programs. They have the advantage that reachability properties are decidable, despite the fact that their sta...
ECOOPW
1999
Springer
15 years 2 months ago
1999
Springer
The model checking of applications of aspects is explained, by showing the stages and proof obligations when a collection of generic aspects (called a superimposition) is combined...