94 search results - page 13 / 19 » Towards Model Checking Spatial Properties with SPIN |
JACM
2002
13 years 7 months ago
2002
We show how to use an interactive theorem prover, HOL, together with a model checker, SPIN, to prove key properties of distance vector routing protocols. We do three case studies: ...
MKWI
2008
13 years 9 months ago
2008
: The advent of regulatory compliance requirements such as Sarbanes Oxley Act has forced enterprises to set up a process for managing an effective internal controls system on busin...
FSTTCS
2001
Springer
14 years 3 days ago
2001
Springer
Abstract. This paper studies a recently developed an approach to reasoning about mutable data structures, which uses an assertion language with spatial conjunction and implication ...
RT
2001
Springer
14 years 2 days ago
2001
Springer
The measurement of accurate material properties is an important step towards photorealistic rendering. Many real-world objects are composed of a number of materials that often show...
ENTCS
2008
13 years 7 months ago
2008
In model-based software development, a complete design and analysis process involves designing the system using the design language, converting it into the analysis language, and ...