EUREKA 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 all top 5 Cited by 10 Authors 1 Alberti, Francesco 1 Bruttomesso, Roberto 1 Ghilardi, Silvio 1 Hamaguchi, Kiyoharu 1 Kashiwabara, Toshinobu 1 Kröning, Daniel 1 Ranise, Silvio 1 Sharygina, Natasha 1 Shimizu, Hiroaki 1 Weissenbacher, Georg Cited in 2 Serials 1 Formal Aspects of Computing 1 Formal Methods in System Design Cited in 1 Field 3 Computer science (68-XX) Citations by Year