Freshml Software Authors: Shinwell, M.R., Pitts, A.M., Gabbay, M. Cited in: 48 Publications (2003–2021) Related Software: Coq; Nominal Isabelle; Twelf; Isabelle/HOL; OCaml; Agda; … Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); General algebraic systems (08-XX)
LUSTRE Software Authors: Caspi, P.; Pilaud, D.; Halbwachs, N.; Plaice, J. A. Cited in: 38 Publications (1992–2018) Related Software: Esterel; SIGNAL; Simulink; Haskell; Boogie; Ptolemy; … Main Fields: General and overarching topics; collections (00-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)
Ott Software Authors: Sewell, Peter; Nardelli, Francesco Zappa; Owens, Scott; Peskine, Gilles; Ridge, Thomas; Sarkar, Susmit; Strniša, Rok Cited in: 33 Publications (2007–2021) Related Software: Coq; Isabelle/HOL; Nominal Isabelle; Isabelle; Twelf; PoplMark; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)
Atomizer Software Authors: Flanagan C, Freund SN Cited in: 16 Publications (2004–2021) Related Software: Velodrome; SingleTrack; Eraser; Java PathFinder; Goldilocks; ESC/Java; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Metropolis Software Authors: Balarin F, Watanabe Y, Hsieh H, Lavagno L, Passerone C, Sangiovanni-Vincentelli A Cited in: 7 Publications (2006–2018) Related Software: Ptolemy; Reo; SPIN; Esterel; Uppaal; Kronos; … Main Fields: Computer science (68-XX); Systems theory; control (93-XX)
CSPsim Software Authors: Brooke, Phillip J.; Paige, Richard F.; Jacob, Jeremy L. Cited in: 4 Publications (2007–2009) Related Software: Eiffel; SCOOP; Circus; TCOZ; Ada95; Boogie; … Main Fields: Computer science (68-XX)
GCminor Software Authors: McCreight, Andrew; Chevalier, Tim; Tolmach, Andrew Cited in: 4 Publications (2010–2019) Related Software: Coq; CompCert; CompCertTSO; HOL; Milawa; OCaml; … Main Fields: Computer science (68-XX)
ArgueApply Software Authors: Pührer, Jörg Cited in: 1 Publication (2017) Related Software: NoHR; Catnap; Moviola; lp2normal; Harvey; plasp Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
Basic-REAL Software Authors: Nepomnyashchij, V.A.; Shilov, N.V.; Bodin, E.V. Cited in: 1 Publication (1997) Related Software: – Main Fields: Computer science (68-XX)
FScaFi Software Authors: Roberto Casadei, Mirko Viroli, Giorgio Audrito, Ferruccio Damiani Cited in: 1 Publication (2021) Related Software: TuSoW; xarray; Featherweight Java; Matplotlib Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
LEMMA Software Authors: L. Baresi, F. Consorti, M. Di Paola, A. Gargiulo, M. Pezzè Cited in: 1 Publication (2002) Related Software: MetaEnv; MetaEdit+; Uppaal Main Fields: Computer science (68-XX)
PTaCL Software Authors: Crampton, Jason; Morisset, Charles Cited in: 1 Publication (2012) Related Software: – Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)