1472 search results - page 105 / 295 » On Model Checking Infinite-State Systems |
126
click to vote
ENTCS
2010
15 years 4 months ago
2010
Rules that are admissible can be used in any derivations in any axiomatic system of a logic. In this paper we introduce a method for checking the admissibility of rules in the mod...
131
click to vote
IJDE
2007
15 years 4 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...
123
click to vote
DATE
2010
IEEE
15 years 7 months ago
2010
IEEE
Abstract. We propose an approach to scenario-based analysis and synthesis of real-time embedded systems. The inter-process behaviors of a system are modeled as a set of driving uni...
118
click to vote
CAISE
2010
Springer
15 years 5 months ago
2010
Springer
For enterprises it has become crucial to check compliance of their business processes with certain rules such as medical guidelines or financial regulations. When automating compli...
165
click to vote
IPPS
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--Ensuring the correctness of complex implementations of software transactional memory (STM) is a daunting task. Attempts have been made to formally verify STMs, but these ...