Found 12 Software Packages (Results 1–12)


Software Authors:   Srinivas, Y., Jullig, R.; Waldiger, R.
Referenced in: 25 Publications (1998–2019)
Related Software: PVS; Nuprl; CASL; Maude; Isabelle; TPS; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)


Software Authors:   Lammich, Peter
Referenced in: 15 Publications (2013–2022)
Related Software: Isabelle/HOL; Isabelle; Archive Formal Proofs; Lifting; Transfer; HOL; …
Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX)


Software Authors:   Lammich, Peter; Sefidgar, S. Reza
Referenced in: 7 Publications (2016–2021)
Related Software: Gabow SCC; Coq; Isabelle/HOL; Isabelle; Dijkstra Shortest Path; Separation Logic; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)


Software Authors:   Phoa, Frederick Kin Hing
Referenced in: 4 Publications (2014–2019)
Related Software: Orthogonal Array
Main Fields: Statistics (62-XX); Numerical analysis (65-XX)


Software Authors:   Lee Blaine, Allen Goldberg
Referenced in: 3 Publications (1993–2015)
Related Software: Fiat; KIDS; OCaml; Coq; Specware; Nuprl; …
Main Fields: Category theory; homological algebra (18-XX); Computer science (68-XX)

Imperative Refinement

Software Authors:   Peter Lammich
Referenced in: 3 Publications (2018–2019)
Related Software: Archive Formal Proofs; Isabelle/HOL; Gabow SCC; CAVA LTL Modelchecker; Collections; Refinement Monadic; …
Main Fields: Computer science (68-XX)


Software Authors:   Zhu, Xue-Yang; Tang, Zhi-Song
Referenced in: 1 Publication (2003)
Related Software: SPIN
Main Fields: Computer science (68-XX)


Software Authors:   Sjöberg, V., Sang, Y., Weng, S.c., Shao, Z.
Referenced in: 1 Publication (2021)
Related Software: VerX; solc-verify
Main Fields: Game theory, economics, finance, and other social and behavioral sciences (91-XX); Information and communication theory, circuits (94-XX)


Software Authors:   Fejoz L, Méry D, Merz S
Referenced in: 1 Publication (2007)
Related Software: CVC Lite; Uppaal; SLAM; Kronos
Main Fields: Computer science (68-XX)


Software Authors:   J. Grosch
Referenced in: 1 Publication (1989)
Related Software: Ell; Rex; Modula
Main Fields: Computer science (68-XX)


Software Authors:   Peter Lammich; S. Reza Sefidgar
Referenced in: 1 Publication (2019)
Related Software: WhyML; Gabow SCC; Archive Formal Proofs; Amortized Complexity; Flow Networks; Refinement Monadic; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)


Software Authors:   Becker, Markus; Zabel, Henning; Mueller, Wolfgang
Referenced in: 1 Publication (2010)
Related Software:
Main Fields: Computer science (68-XX)