2881 search results - page 60 / 577 » Model Checking for Programming Languages using Verisoft |
IFIP
2004
Springer
15 years 7 months ago
2004
Springer
113
click to vote
FDL
2003
IEEE
15 years 7 months ago
2003
IEEE
Assuring correctness of digital designs is one of the major tasks in the system design flow. Formal methods have been proposed to accompany commonly used simulation approaches. I...
110
click to vote
GCC
2003
Springer
15 years 7 months ago
2003
Springer
We use 2-Dimensional language to construct 2-Dimensional computer graphics model, use MSO or other logics to specify some graph property, and use automata model checking technique ...
ASPLOS
2010
ACM
15 years 8 months ago
2010
ACM
This paper introduces a new abstraction to accelerate the readbarriers and write-barriers used by language runtime systems. We exploit the fact that, dynamically, many barrier exe...
105
click to vote
AUSAI
2005
Springer
15 years 7 months ago
2005
Springer
The key problem in applying verification techniques such as model checking to agent architectures is to show how to map systematically from an agent program to a model structure t...