swMATH ID: 20979
Software Authors: Armando, A., Benerecetti, M., Carotenuto, D., Mantovani, J., Spica, P.
Description: The Eureka Tool for Software Model Checking. We describe EUREKA, a symbolic model checker for Linear Programs with arrays, i.e. programs where variables and array elements range over a numeric domain and expressions involve linear combinations of variables and array elements. This language fragment easily encodes a large class of programs for which, as demonstrated by our experiments, techniques based on predicate abstraction do not apply successfully.
Homepage: http://dl.acm.org/citation.cfm?id=1321734
Related Software: CBMC; SLAM; SPIN; SAFARI; FunArray; ASTREE; Mcmt; MathSAT5; OpenSMT; CPAchecker; Predator; Princess; z3; SMT-LIB; BLAST; MiniSat; FAST; SatAbs; Bebop; Daikon
Cited in: 3 Publications

Citations by Year