PVS Software Authors: Sam Owre, Natarajan Shankar, John Rushby Cited in: 606 Publications (1993–2022) Related Software: Coq; Isabelle/HOL; HOL; Isabelle; Nuprl; ACL2; … Main Fields: (68N30-XX); (68Q60-XX); (68T15-XX)
Isar Software Authors: Makarius Wenzel Cited in: 147 Publications (2000–2022) Related Software: Isabelle; Isabelle/HOL; Coq; Mizar; Isabelle/Isar; HOL; … Main Fields: –
CCSL Software Authors: Jan Rothe, Bart Jacobs, and Hendrik Tews Cited in: 24 Publications (2001–2015) Related Software: PVS; CoCasl; CASL; Haskell; OCaml; GenCCSL; … Main Fields: (classification-XX)
NASA PVS Software Authors: NASA Langley Cited in: 8 Publications (2008–2018) Related Software: PVS; Isabelle/HOL; ACL2; Nuprl; STP; iProver; … Main Fields: –
TLPVS Software Authors: Pnueli, Amir; Arons, Tamarah Cited in: 8 Publications (2003–2011) Related Software: PVS; SPIN; MAGIC; SatAbs; Bebop; Java PathFinder; … Main Fields: (68Q60-XX); (03B44-XX)
SAL Software Authors: Grégoire Hamon, Leonardo de Moura, John Rushby Cited in: 5 Publications (2004–2021) Related Software: SPIN; PVS; RAISE; HybridSal; AETG; Simulink; … Main Fields: –
VSDITLU Software Authors: Adams, A.A.; Gottliebsen, H.; Linton, S.A.; Martin, U. Cited in: 9 Publications (1999–2013) Related Software: PVS; Automath; Maple; Analytica; OMRS; AXIOM; … Main Fields: (68T15-XX); (68W30-XX)
LIRA Software Authors: Becker, B., Dax, C., Eisinger, J., Klaedtke, F. Cited in: 7 Publications (2008–2021) Related Software: LASH; TaPAS; cvc3; FAST; MONA; GenPSAT; … Main Fields: –
DisCo Software Authors: Aaltonen, Timo; Katara, Mika; Pitkänen, Risto Cited in: 7 Publications (1998–2006) Related Software: PVS; AspectJ; Ocsid; HOL-UNITY; HOL; Coq; … Main Fields: (68Q65-XX)
TAME Software Authors: Archer, Myla Cited in: 5 Publications (2000–2011) Related Software: PVS; Uppaal; LARCH; JML; NASA PVS; UNITY; … Main Fields: (68T15-XX)
Ocsid Software Authors: Kellomäki, Pertti Cited in: 2 Publications (2001–2003) Related Software: Z; UNITY; HOL-UNITY; DisCo; HOL; PVS; … Main Fields: (68T15-XX)
PVSio Software Authors: César Muñoz Cited in: 3 Publications (2007–2015) Related Software: PVS; Coq; MetiTarski; dReal; Gappa; RealPaver; … Main Fields: –
Manip Software Authors: Di Vito, B. Cited in: 2 Publications (2013–2016) Related Software: PVS; Coq; PVSio-web; HybridSal; HSolver; ScicosLab; … Main Fields: –
PVSio-web Software Authors: Patrick Oladimeji, Paolo Masci, Paul Curzon, Harold Thimbleby Cited in: 2 Publications (2014–2016) Related Software: Manip; HybridSal; HSolver; ScicosLab; Uppaal; Benchmarks; … Main Fields: –
SAEPTUM Software Authors: Mauricio Ayala-Rincón; Thomas M. Sant'Ana Cited in: 2 Publications (2009–2010) Related Software: RRL; FELIX; CoLoR; NQTHM; PVS; Isabelle/HOL; … Main Fields: –
clock synchronization Software Authors: Alwen Tiu Cited in: 1 Publication (2007) Related Software: Schneider clock synchronization; Archive Formal Proofs; Calife; PROSPER; CVC Lite; HOL Light; … Main Fields: –
Dynamite 2.0 Software Authors: Moscato, Mariano M.; López Pombo, Carlos G.; Frias, Marcelo F. Cited in: 0 Publications Related Software: PVS Main Fields: (68Qxx-XX)
ekstrakto Software Authors: Mohamed Yacine El Haddad, Guillaume Burel, Frédéric Blanqui Cited in: 0 Publications Related Software: ArchSAT; Zipperposition; E Theorem Prover; Zenon; TPTP; dedukti Main Fields: –
MiniBrass Software Authors: Schiendorfer, Alexander; Knapp, Alexander; Anders, Gerrit; Reif, Wolfgang Cited in: 1 Publication (2018) Related Software: Essence; MiniSearch; MiningZinc; G12; NumberJack; ToulBar2; … Main Fields: (90C30-XX)
PyEpics Software Authors: – Cited in: 0 Publications Related Software: NumPy; PyQt; pandas; Matplotlib; Python; DynaGUI Main Fields: –