Sally swMATH ID: 41665 Software Authors: Dutertre, B.; Jovanovic, D.; Navas, J.A. Description: Sally is a model checker for infinite state systems described as transition systems. It is research software under development so the features and the input language may change rapidly. Homepage: http://sri-csl.github.io/sally/ Source Code: https://github.com/SRI-CSL/sally Dependencies: C++ Related Software: z3; MathSAT5; googletest; Btor2Tools; Verilog2SMV; Cython; Smt-Switch; Pono; Yosys; Ivy; CoSA; SPIN; Mcmt; PySMT; NuSMV; Kind 2; nuXmv; ABC; CTIGAR; CVC4 Cited in: 1 Document Cited by 4 Authors 1 Blicha, Martin 1 Hyvärinen, Antti E. J. 1 Kofroň, Jan 1 Sharygina, Natasha Cited in 0 Serials Cited in 2 Fields 1 Mathematical logic and foundations (03-XX) 1 Computer science (68-XX) Citations by Year