COSMOS Software Authors: Ballarini, P., Djafri, H., Duflot, M., Haddad, S., Pekergin, N. Cited in: 6 Publications (2013–2021) Related Software: PRISM; Ymer; VESTA; HASL; Uppaal; StochKit; … Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)
TAME Software Authors: Archer, Myla Cited in: 5 Publications (2000–2011) Related Software: PVS; Uppaal; LARCH; JML; NASA PVS; UNITY; … Main Fields: Computer science (68-XX)
HighSpec Software Authors: J. S. Dong , P. Hao , X. Zhang , S. C. Qin Cited in: 1 Publication (2012) Related Software: Spec#; VeriCool; LUSTRE; Boogie; VeriFast; VCC; … Main Fields: Computer science (68-XX)