×

Found 12 Software Packages (Results 1–12)

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)