×

Found 19 Software Packages (Results 1–19)

FAST

Software Authors:   Bardin, S., Leroux, J., Finkel, A., Petrucci, L.
Referenced in: 39 Publications (2005–2022)
Related Software: TREX; LASH; Aspic; ASTREE; HyTech; PPL; …
Main Fields: Mathematical logic and foundations (03-XX); Convex and discrete geometry (52-XX); Numerical analysis (65-XX)

nuXmv

Software Authors:   Roberto Cavada, Alessandro Cimatti, Michele Dorigatti, Alberto Griggio, Alessandro Mariotti, Andrea Micheli, Sergio Mover, Marco Roveri, Stefano Tonetta
Referenced in: 31 Publications (2015–2022)
Related Software: z3; NuSMV; MiniSat; MathSAT5; SPIN; SMT-LIB; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

APMC

Software Authors:   Hérault, Thomas; Lassaigne, Richard; Magniette, Frédéric; Peyronnet, Sylvain
Referenced in: 28 Publications (2004–2021)
Related Software: PRISM; Uppaal; INFAMY; PLASMA-lab; PLASMA; Ymer; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

LTSmin

Software Authors:   Alfons Laarman; Jaco van de Pol; Michael Weber; Stefan Blom
Referenced in: 18 Publications (2011–2022)
Related Software: DiVinE; Uppaal; SPIN; CADP; NuSMV; mCRL2; …
Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

SAL

Software Authors:   Grégoire Hamon, Leonardo de Moura, John Rushby
Referenced in: 5 Publications (2004–2021)
Related Software: SPIN; PVS; RAISE; HybridSal; AETG; Simulink; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

ACTLW

Software Authors:   –
Referenced in: 6 Publications (2008–2016)
Related Software: SPIN; COWS; mCRL; wRebeca; AODV; Uppaal; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

TRANSIT

Software Authors:   Udupa, A., Raghavan, A., Deshmukh, J.V., Mador-Haim, S., Martin, M.M., Alur, R.
Referenced in: 6 Publications (2015–2021)
Related Software: CVC4; SIMPLIFY; FlashMeta; z3; Yices; FlashExtract; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Z2sal

Software Authors:   J Derrick, S North, A J H Simons
Referenced in: 5 Publications (2008–2012)
Related Software: SPIN; Z; Z/EVES; CZT; jSpin; PROMELA; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

GeneSyst

Software Authors:   Bert, Didier; Potet, Marie-Laure; Stouls, Nicolas
Referenced in: 3 Publications (2005–2015)
Related Software: ProB; SPIN; seL4; PROMELA; Rodin; MAGIC; …
Main Fields: Computer science (68-XX)

HyComp

Software Authors:   A. Cimatti, A. Griggio, S. Mover, S. Tonetta
Referenced in: 5 Publications (2017–2022)
Related Software: nuXmv; CTIGAR; z3; Uppaal; Kronos; Flow*; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)

HyDI

Software Authors:   Cimatti A, Mover S, Tonetta S
Referenced in: 3 Publications (2013–2015)
Related Software: SpaceEx; MathSAT; HySAT; HyCreate; HYST; Charon; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)

Ariel

Software Authors:   Morris, James M.; Howard, Mark
Referenced in: 2 Publications (1991)
Related Software: Caliban; Clio; Miranda
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

Caliban

Software Authors:   Morris, James M.; Howard, Mark
Referenced in: 2 Publications (1991)
Related Software: Ariel; Clio; Miranda
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

PESTS

Software Authors:   Costa, G., Basin, D., Bodei, C., Degano, P., Galletta, L.
Referenced in: 2 Publications (2018–2020)
Related Software: MuDiv; libFAUDES; TCT; GitHub; CMC; GPUVerify; …
Main Fields: Computer science (68-XX)

SMACS

Software Authors:   Kalyon, Gabriel; Le Gall, Tristan; Marchand, Herv'e; Massart, Thierry
Referenced in: 2 Publications (2011–2012)
Related Software: Fixpoint; UMDES; Apron
Main Fields: Systems theory; control (93-XX)

TSMV

Software Authors:   Markey, N., Schnoebelen, P.
Referenced in: 1 Publication (2012)
Related Software: Maude; Uppaal; Kronos; SynchAADL2Maude; AADL; MOMENT2; …
Main Fields: Computer science (68-XX)

KORRIGAN

Software Authors:   Choppy, Christine; Poizat, Pascal; Royer, Jean-Claude
Referenced in: 1 Publication (2001)
Related Software: Python; CADP; SWIG
Main Fields: Computer science (68-XX)

Veracity

Software Authors:   Eastaughffe, K. A.; Ozols, M. A.; Cant, A.
Referenced in: 1 Publication (1997)
Related Software: XIsabelle; PVS; Isabelle
Main Fields: Computer science (68-XX)

Papyrus-RT

Software Authors:   Sahu, Sneha; Schorr, Ruth; Medina-Bulo, Inmaculada; Wagner, Matthias
Referenced in: 0 Publications
Related Software:
Main Fields: