Specware Cited in 25 Documents (1998–2019) Software Authors: Srinivas, Y., Jullig, R.; Waldiger, R. Related Software: PVS; Nuprl; CASL; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX); …
SNARK Cited in 3 Documents (2009–2015) Software Authors: Stickel, M. Related Software: Waldmeister; E Theorem Prover; Vivid; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Relativity and gravitational theory (83-XX)