100 search results - page 2 / 20 » Invariant inference for static checking |
CCS
2004
ACM
13 years 10 months ago
2004
ACM
SCP
2010
13 years 3 months ago
2010
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...
TOPLAS
2008
13 years 5 months ago
2008
VMCAI
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. We present a generic framework for the automatic and modular inference of sound class invariants for class-based object oriented languages. The idea is to derive a sound ...
CADE
2008
Springer
13 years 7 months ago
2008
Springer
We describe the new software package Aligator for automatically inferring polynomial loop invariants. The package combines algorithms from symbolic summation and polynomial algebra...