3 search results - page 1 / 1 » MONA 1.x: New Techniques for WS1S and WS2S |
CAV
1998
Springer
13 years 11 months ago
1998
Springer
ESOP
2000
Springer
13 years 11 months ago
2000
Springer
We exhibit a technique for automatically verifying the safety of simple C programs working on tree-shaped data structures. We do not consider the complete behavior of programs, but...
WIA
2000
Springer
13 years 11 months ago
2000
Springer
The Mona tool provides an implementation of the decision procedures for the logics WS1S and WS2S. It has been used for numerous applications, and it is remarkably efficient in prac...