×

Found 6 Software Packages (Results 1–6)

SQEMA

Software Authors:   Conradie, Willem; Goranko, Valentin
Cited in: 39 Publications (2005–2021)
Related Software: Epistemic Logic; Archive Formal Proofs; FOL Fitting; Pesca
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)

ARA

Software Authors:   Sinz, Carsten
Cited in: 5 Publications (2000–2014)
Related Software: RALL; Ralf; RelView; Ynot; Coq; Mace4; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Luck

Software Authors:   Lampropoulos, Leonidas; Gallois-Wong, Diane; Hriţcu, Cătălin; Hughes, John; Pierce, Benjamin C.; Xia, Li-yao
Cited in: 4 Publications (2017–2021)
Related Software: QuickCheck; PVS; Isabelle/HOL; Nitpick; WhyML; Mathematical Components; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

Differential_Game_Logic

Software Authors:   André Platzer
Cited in: 3 Publications (2015–2022)
Related Software: KeYmaera; Transformer semantics; Quantales; KeYmaera X; KAD; Algebraic_VCs; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

SymmPa

Software Authors:   Donaldson, Alastair F.; Kaiser, Alexander; Kroening, Daniel; Tautschnig, Michael; Wahl, Thomas
Cited in: 3 Publications (2012–2017)
Related Software: Threader; MAGIC; ASTREE; Apron; DDVerify; monabs; …
Main Fields: Computer science (68-XX)

Sigali

Software Authors:   H. Marchand
Cited in: 0 Publications
Related Software: MARTE; SPIN
Main Fields: