×

Found 7 Software Packages (Results 1–7)

TLA

Software Authors:   L. Lamport
Referenced in: 26 Publications (1992–2020)
Related Software: SPIN; z3; Z; ByMC; Uppaal; PEPA; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

TLC

Software Authors:   Lamport L, Yu Y
Referenced in: 11 Publications (2000–2021)
Related Software: SPIN; PlusCal; ProB; Z; jbtools; Kodkod; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

PlusCal

Software Authors:   Lamport, Leslie
Referenced in: 9 Publications (2009–2021)
Related Software: SPIN; TLC; Horus; Verdi; PSync; BESERIAL; …
Main Fields: Category theory; homological algebra (18-XX); Computer science (68-XX)

TLAPS

Software Authors:   Lamport, L
Referenced in: 10 Publications (1999–2021)
Related Software: SPIN; FOOL; Satallax; STeP; LaTeX; Mizar; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

DiskPaxos

Software Authors:   Mauro Jaskelioff; Stephan Merz
Referenced in: 2 Publications (2006–2012)
Related Software: Isabelle/HOL; Tree Automata; Archive Formal Proofs; Collections; GUItar; FAdo; …
Main Fields: Computer science (68-XX)

Dixit

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)

VisB

Software Authors:   Werth M, Leuschel M
Referenced in: 1 Publication (2021)
Related Software: JeB; Overture Tool; SICStus; Rodin; WebASM; BMotionWeb; …
Main Fields: Computer science (68-XX)