662 search results - page 59 / 133 » Model Checking Procedures for Infinite State Systems |
144
click to vote
ISSTA
1998
ACM
15 years 7 months ago
1998
ACM
Symbolic model checking has proved highly successful for large nite-state systems, in which states can be compactly encoded using binary decision diagrams (BDDs) or their variants...
123
click to vote
MMM
2005
Springer
15 years 8 months ago
2005
Springer
Constraints are used in traditional database systems to define consistent database states. For multimedia data it is also important to define constraints for a correct data outp...
122
click to vote
IJDE
2007
15 years 3 months ago
2007
Inconsistencies in various data structures, such as missing log records and modified operating system files, have long been used by intrusion investigators and forensic analysts a...
118
click to vote
ISSTA
2006
ACM
15 years 9 months ago
2006
ACM
Model checking can be an effective technique for detecting concurrency-related errors in software systems. However, due to scalability issues, to handle industrial-strength softw...
125
click to vote
SIAMAM
2008
15 years 3 months ago
2008
This work is devoted to the modelling of phase transition. The thermodynamic model for phase transition chosen is a model with two equations of state, each of them modelling one p...