558 search results - page 6 / 112 » Optimizing Symbolic Model Checking for Constraint-Rich Model... |
ACMICEC
2007
ACM
13 years 11 months ago
2007
ACM
Norms defined by institutions and enforced by organizations have been put forward as a mechanism to increase the efficiency and reliability of electronic transactions carried out ...
APN
2008
Springer
13 years 9 months ago
2008
Springer
Model checking is a powerful and widespread technique for the verification of finite distributed systems. However, the main hindrance for wider application of this technique is the...
RTSS
1995
IEEE
13 years 11 months ago
1995
IEEE
E cient automatic model-checking algorithms for real-time systems have been obtained in recent years based on the state-region graph technique of Alur, Courcoubetis and Dill. Howe...
ICSE
1999
IEEE-ACM
13 years 12 months ago
1999
IEEE-ACM
TACAS
1999
Springer
13 years 12 months ago
1999
Springer
