1023 search results - page 168 / 205 » Model Checking: Software and Beyond |
109
click to vote
KBSE
2007
IEEE
15 years 7 months ago
2007
IEEE
Concurrent programs are difficult to debug and verify because of the nondeterministic nature of concurrent executions. A particular concurrency-related bug may only show up under ...
107
click to vote
TACAS
2005
Springer
15 years 7 months ago
2005
Springer
SAT-based Predicate Abstraction for ANSI-C Edmund Clarke1 Daniel Kroening2 Natasha Sharygina1,3 Karen Yorav4 1 Carnegie Mellon University, School of Computer Science 2 ETH Zuerich,...
135
click to vote
EUROMICRO
2000
IEEE
15 years 6 months ago
2000
IEEE
The Automated Production Systems (APS) are composed of concurrent interacting entities. Then any model should exhibit parallel and sequential behaviours. The Grafcet is now well e...
107
click to vote
KBSE
1998
IEEE
15 years 5 months ago
1998
IEEE
Most efforts to automate formal verification of communicating systems have centred around finite-state systems (FSSs). However, FSSs are incapable of modelling many practical comm...
119
click to vote
ICSE
1993
IEEE-ACM
15 years 5 months ago
1993
IEEE-ACM
Composite systems generally comprise heterogeneous components whose specifications are developed by many development participants. The requirements of such systems are invariably ...