1463 search results - page 14 / 293 » Model Checking Implicit-Invocation Systems |
VMCAI
2005
Springer
14 years 26 days ago
2005
Springer
Bounded model checking (BMC) is an automatic verification method that is based on a finite unfolding of the system’s transition relation. BMC has been successfully applied, in ...
ISSTA
1998
ACM
13 years 11 months ago
1998
ACM
We present various techniques for improving the time and space efficiency of symbolic model checking for system requirements specified as synchronous finite state machines. We use...
EMSOFT
2003
Springer
14 years 19 days ago
2003
Springer
Despite significant research on state-space reductions, the poor scalability of model checking for reasoning about behavioral models of large, complex systems remains the chief ob...
FM
2008
Springer
13 years 9 months ago
2008
Springer
Modal
ENTCS
2008
13 years 7 months ago
2008
This paper presents an efficient solution for modeling checking graph transformation systems. The approach transforms AGG specifications into Bogor models and supports both attribu...