×

Found 114 Software Packages (Results 1–100)

SPIN

Software Authors:   Bell Labs
Referenced in: 591 Publications (1990–2022)
Related Software: NuSMV; Uppaal; Bandera; Java PathFinder; Bebop; CESAR; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Kronos

Software Authors:   Conrado Daws, Alfredo Olivero, Stavros Tripakis, Sergio Yovine
Referenced in: 243 Publications (1997–2021)
Related Software: Uppaal; HyTech; SPIN; IF-2.0; Uppaal2k; CMC; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

CESAR

Software Authors:   Queille, J.P.; Sifakis, J.
Referenced in: 149 Publications (1982–2021)
Related Software: SPIN; SLAM; Uppaal; NuSMV; Bandera; PVS; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

MCMAS

Software Authors:   Alessio Lomuscio, Hongyang Qu, Franco Raimondi
Referenced in: 81 Publications (2006–2022)
Related Software: MCMAS-SLK; MCK; MOCHA; VerICS; PRISM; PRISM-games; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

SLMC

Software Authors:   Hugo Vieira; Luís Caires
Referenced in: 72 Publications (2003–2022)
Related Software: PIPER; PRISM; KLAIM; Maude; Uppaal; BlenX; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

METATEM

Software Authors:   Barringer, H.; Fisher, M.; Gabbay, D.; Gough, G.; Owens, R.
Referenced in: 49 Publications (1994–2016)
Related Software: AgentSpeak; GOLOG; ConGolog; Jason; Oz; 3APL; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

BIOCHAM

Software Authors:   Chabrier, N., Fages, F., Soliman, S.
Referenced in: 45 Publications (2005–2022)
Related Software: Bio-PEPA; PRISM; PEPA; BioNetGen; LBS; GNA; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

MCK

Software Authors:   Ron van der Meyden; Peter Gammie; Kai Baukus; Jeremy Lee; Cheng Luo; Xiaowei Huang
Referenced in: 33 Publications (2004–2021)
Related Software: MCMAS; VerICS; NuSMV; CUDD; MOCHA; SPIN; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

JPAX

Software Authors:   Havelund, Klaus; Roşu, Grigore
Referenced in: 21 Publications (2002–2022)
Related Software: Maude; Bandera; Java PathFinder; veriSoft; Java-MaC; NuSMV; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

BPEL2oWFN

Software Authors:   Niels Lohmann
Referenced in: 25 Publications (2007–2020)
Related Software: COWS; BPEL2PN; Wendy; CADP; Uppaal; Orc; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

Breach

Software Authors:   Alexandre Donzé
Referenced in: 26 Publications (2011–2022)
Related Software: S-TaLiRo; Flow*; SpaceEx; Matlab; KeYmaera; C2e2; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Cadence SMV

Software Authors:   McMillan K L.
Referenced in: 22 Publications (2000–2018)
Related Software: NuSMV; SPIN; SPOT; LTL2BA; VIS; CESAR; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)

SPOT

Software Authors:   Duret-Lutz, A. ;Poitrenaud, D.
Referenced in: 26 Publications (2005–2022)
Related Software: LTL2BA; SPIN; NuSMV; lbtt; Cadence SMV; Rabinizer; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

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)

S-TaLiRo

Software Authors:   Annpureddy, Yashwanth; Liu, Che; Fainekos, Georgios; Sankaranarayanan, Sriram
Referenced in: 24 Publications (2011–2022)
Related Software: Breach; SpaceEx; Flow*; Matlab; dReach; StateFlow; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

VESTA

Software Authors:   Koushik Sen, Mahesh Viswanathan, Gul Agha
Referenced in: 22 Publications (2007–2021)
Related Software: PRISM; Maude; HOL; Ymer; PVeStA; PMaude; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

LTSmin

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

PESSOA

Software Authors:   Roy, Pritam; Tabuada, Paulo; Majumdar, Rupak
Referenced in: 20 Publications (2011–2022)
Related Software: SCOTS; TuLiP; CoSyma; Matlab; LTLMoP; ROCS; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

SCR

Software Authors:   Bourguiba, Imen; Moa, Belaid
Referenced in: 10 Publications (2000–2018)
Related Software: SPIN; NuSMV; Smodels; ASSAT; PVS; TorX; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

PVeStA

Software Authors:   AlTurki, M., Meseguer, J
Referenced in: 13 Publications (2011–2021)
Related Software: Maude; PMaude; VESTA; PRISM; Uppaal; PSMaude; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

TABLEAUX

Software Authors:   Catach, Laurent
Referenced in: 18 Publications (1991–2016)
Related Software: Pesca; KRIPKE; Imogen; IntHistGC; ileanCoP; LoTREC; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

TRP++

Software Authors:   Hustadt, U., Konev, B.
Referenced in: 17 Publications (2004–2021)
Related Software: NuSMV; MiniSat; TSPASS; SPASS; nuXmv; TeMP; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

VIS

Software Authors:   Brayton, R.K., et al.
Referenced in: 10 Publications (2005–2015)
Related Software: NuSMV; SPIN; HyTech; LTL2BA; SPOT; CESAR; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

CACTUS

Software Authors:   Gergatsoulis, Manolis
Referenced in: 15 Publications (1998–2016)
Related Software: Datalog; DeCART; FCVODE; GASpAR; FLASH; GRChombo; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

TeMP

Software Authors:   Hustadt, Ullrich; Konev, Boris; Riazanov, Alexandre; Voronkov, Andrei
Referenced in: 14 Publications (2004–2021)
Related Software: VAMPIRE; TSPASS; TRP++; SPIN; CAVA LTL Modelchecker; AIGER; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-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)

TuLiP

Software Authors:   Tichakorn Wongpiromsarn, Ufuk Topcu, Necmiye Ozay, Huan Xu, Richard M. Murray
Referenced in: 14 Publications (2016–2022)
Related Software: PESSOA; CoSyma; SCOTS; CUDD; LTLMoP; ROCS; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

AMT

Software Authors:   D. Nickovic, O. Maler
Referenced in: 12 Publications (2008–2018)
Related Software: Uppaal; SpaceEx; PRISM; Breach; Matlab; PPL; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

RoVerGeNe

Software Authors:   Grégory Batt; Calin Belta
Referenced in: 13 Publications (2007–2019)
Related Software: BIOCHAM; DiVinE; RAMAS; GNA; PRISM; HyTech; …
Main Fields: Dynamical systems and ergodic theory (37-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

SMV

Software Authors:   Ed Clarke; K. L. McMillan; E. A. Emerson; J. R. Burch
Referenced in: 13 Publications (1986–2018)
Related Software: HyTech; PHAVer; SPIN; HSolver; RSOLVER; MATISSE; …
Main Fields: Ordinary differential equations (34-XX); Calculus of variations and optimal control; optimization (49-XX); Computer science (68-XX)

TTM

Software Authors:   J. Gaintzarain, M. Hermo, P. Lucio, M. Navarro, F. Orejas
Referenced in: 12 Publications (2007–2020)
Related Software: Rabinizer; TRP++; TSPASS; NuSMV
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

APNN-Toolbox

Software Authors:   Peter Buchholz; Markus Fischer; Peter Kemper; Carsten Tepper
Referenced in: 11 Publications (1999–2018)
Related Software: LDQBD; PEPS; COLAMD; PEPA; StochKit; GTAEXPRESS; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX)

Datalog LITE

Software Authors:   Gottlob, Georg; Grädel, Erich; Veith, Helmut
Referenced in: 9 Publications (2002–2019)
Related Software: XPath; Ltur; ComputeTW; NP Datalog; Datalog; FALKO
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

IDLVALID

Software Authors:   Pandya, Paritosh K.
Referenced in: 10 Publications (2001–2013)
Related Software: DCVALID; Uppaal; Kronos; MONA; Modechart; ICS; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

MAVEN

Software Authors:   Goldman, Max; Katz, Emilia; Katz, Shmuel
Referenced in: 9 Publications (2007–2013)
Related Software: ProMoVer; CVPP; Aspectual Caml; PolyAML; Moped; Sawja; …
Main Fields: Computer science (68-XX)

STeLP

Software Authors:   Cabalar, Pedro; Diéguez, Martín
Referenced in: 9 Publications (2011–2019)
Related Software: Coala; Gringo; CCalc; ASSAT
Main Fields: Mathematical logic and foundations (03-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)

TLPVS

Software Authors:   Pnueli, Amir; Arons, Tamarah
Referenced in: 8 Publications (2003–2011)
Related Software: PVS; SPIN; MAGIC; SatAbs; Bebop; Java PathFinder; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

EAGLE

Software Authors:   Toumi, Alexis; Gutierrez, Julian; Wooldridge, Michael
Referenced in: 9 Publications (2015–2021)
Related Software: MCMAS; MOCHA; PRISM-games; MCMAS-SLK; PRISM; PRALINE; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

MonPoly

Software Authors:   D. Basin, M. Harvan, F. Klaedtke, E. Zalinescu
Referenced in: 8 Publications (2015–2019)
Related Software: aerial; Naiad; MapReduce; PostgreSQL; Apache Flink; contractLarva; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

SCTL-MUS

Software Authors:   Pazos Arias, José J.; García Duque, Jorge
Referenced in: 5 Publications (2001–2006)
Related Software: PVS; NuSMV; SLAM; TLA
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-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)

GOAL

Software Authors:   Tsay, Y.-K., Chen, Y.-F., Tsai, M.-H., Wu, K.-N., Chan, W.-C.
Referenced in: 6 Publications (2009–2015)
Related Software: SPIN; LTL2BA; PROMELA; Simulink; Matlab; JFLAP
Main Fields: Computer science (68-XX)

lbtt

Software Authors:   H. Tauriainen; K. Heljanko
Referenced in: 5 Publications (2009–2015)
Related Software: LTL2BA; SPOT; SPIN; Isabelle/HOL; Isabelle; VIS; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

TATL

Software Authors:   David, Amélie
Referenced in: 7 Publications (2009–2017)
Related Software: CLProver; TRP++; SPASS; VAMPIRE
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

CALI

Software Authors:   Fonseca MJ, Pimentel C, Jorge JA
Referenced in: 4 Publications (2007–2014)
Related Software: SketchREAD; Tahuti; HCRF; PerfectDoc; PixLabeler; TRUEVIZ; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

COSMOS

Software Authors:   Ballarini, P., Djafri, H., Duflot, M., Haddad, S., Pekergin, N.
Referenced in: 6 Publications (2013–2021)
Related Software: PRISM; Ymer; VESTA; HASL; Uppaal; Storm; …
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)

HASL

Software Authors:   Ballarini, P., Djafri, H., Duflot, M., Haddad, S., Pekergin, N.
Referenced in: 6 Publications (1986–2016)
Related Software: COSMOS; Uppaal; PRISM; VESTA; SageMath; SGN Sim; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

MSVL

Software Authors:   Xiaobing Wang, Cong Tian, Zhenhua Duan, Liang Zhao
Referenced in: 6 Publications (2019–2020)
Related Software: SPIN; CPAchecker; CESAR; PVS; CBMC; NuSMV; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

NMRDPP

Software Authors:   Thiebaux, S.; Gretton, C.; Slaney, J.; Price, D.; Kabanza, F.
Referenced in: 6 Publications (2006–2021)
Related Software: Graphplan; GitHub; MONA; PRISM; FluCaP; FODD-Planner; …
Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

RGITL

Software Authors:   Schellhorn, Gerhard; Tofan, Bogdan; Ernst, Gidon; Pf"ahler, Jörg; Reif, Wolfgang
Referenced in: 6 Publications (2014–2021)
Related Software: SPIN; KIV; Rodin; Line-up; Z; STeP; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Casaal

Software Authors:   Bulychev, Peter; David, Alexandre; Guldstrand Larsen, Kim; Legay, Axel; Li, Guangyuan; Bøgsted Poulsen, Danny; Stainer, Amelie
Referenced in: 4 Publications (2012–2014)
Related Software: Uppaal; UPPAAL TIGA; APMC; GEZEL; Kronos; PRISM; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

JavaLog

Software Authors:   Amandi, Anal\'{\i}a; Campo, Marcelo; Zunino, Alejandro
Referenced in: 3 Publications (2002–2007)
Related Software: GOLOG; Oz; METATEM; Mozart; SHOP2; Graphplan; …
Main Fields: Computer science (68-XX)

MarCaSPiS

Software Authors:   Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink
Referenced in: 5 Publications (2009–2015)
Related Software: COWS; MoDeST; GroupKit; KLAIM; SAS; SPSS; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX)

MC2

Software Authors:   Robin Donaldson
Referenced in: 4 Publications (2010–2017)
Related Software: PRISM; Ymer; MRMC; COSMOS; MARCIE; Gecode; …
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)

ROCS

Software Authors:   Li, Yinan; Liu, Jun
Referenced in: 5 Publications (2018–2021)
Related Software: SCOTS; CoSyma; pFaces; TuLiP; PESSOA; CPAchecker; …
Main Fields: Computer science (68-XX); Systems theory; control (93-XX)

VERIFAS

Software Authors:   Yuliang Li, Alin Deutsch, Victor Vianu
Referenced in: 4 Publications (2019–2021)
Related Software: Cubicle; Mcmt; Booster; SAFARI; ASASP; Yices; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

VMC

Software Authors:   ter Beek, Maurice H.; Mazzanti, Franco; Sulova, Aldi
Referenced in: 4 Publications (2015–2019)
Related Software: MSTA; DeltaCCS; MIO Workbench; Motras; Sat4j; MultiVeStA; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Cool

Software Authors:   Gorín, Daniel; Pattinson, Dirk; Schröder, Lutz; Widmann, Florian; Wißmann, Thorsten
Referenced in: 3 Publications (2014–2018)
Related Software: LoTREC; leanK; E Theorem Prover; Racer; FaCT++; SPASS; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

CTL-RP

Software Authors:   Zhang, Lan; Hustadt, Ullrich; Dixon, Clare
Referenced in: 4 Publications (2010–2014)
Related Software: SPASS; TRP++; XPath; NuSMV; PGSolver; TSPASS; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

EVE

Software Authors:   Muhammad Najib
Referenced in: 4 Publications (2019–2021)
Related Software: MCMAS; MCMAS-SLK; PRISM-games; EAGLE; PRALINE; MOCHA; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

FaPAS

Software Authors:   B. Yordanov, C. Belta
Referenced in: 4 Publications (2013–2018)
Related Software: NuSMV; Algorithm 97; VeriSIMPL; Maxplus; SPIN
Main Fields: Combinatorics (05-XX); Biology and other natural sciences (92-XX); Systems theory; control (93-XX)

icity

Software Authors:   Stevens, D., Dragicevic, S., & Rothley, K.
Referenced in: 3 Publications (2008–2014)
Related Software: LUCAS; AntNet; QUAL2Kw; SymbolicC++; FANN
Main Fields: Computer science (68-XX); Fluid mechanics (76-XX); Operations research, mathematical programming (90-XX)

ImpUNITY

Software Authors:   Goeman, H.J.M.; Kok, J.N.; Sere, K.; Udink, R.T. ti: Coordination in the ImpUNITY framework.
Referenced in: 4 Publications (1998–2008)
Related Software:
Main Fields: Partial differential equations (35-XX); Computer science (68-XX); Statistical mechanics, structure of matter (82-XX)

KOMET

Software Authors:   Calmet, J., Jekutsch, S., Kullmann, P., Schü, J.
Referenced in: 4 Publications (2002–2005)
Related Software: FRIL; Medmaker; Bliksem; TRAMP; PROTEIN; OMEGA; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

kPWorkbench

Software Authors:   Gheorghe, M., Ipate, F., Mierla, L., Konur, S.
Referenced in: 4 Publications (2015–2021)
Related Software: CompCert; ProB; Rodin; Coq; CuSNP; GitHub; …
Main Fields: Computer science (68-XX)

MoMo

Software Authors:   De Nicola, Rocco; Loreti, Michele
Referenced in: 4 Publications (2005–2014)
Related Software: KLAIM; SLMC; COPASI; Casaal; ULM; MRMC; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

MuTACLP

Software Authors:   Mancarella, Paolo; Nerbini, Gianluca; Raffaet\`a, Alessandra; Turini, Franco
Referenced in: 3 Publications (2000–2014)
Related Software: Esterel; SMT-LIB; SICStus
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Sapo

Software Authors:   Dreossi T
Referenced in: 4 Publications (2017–2021)
Related Software: Breach; SpaceEx; dReach; Flow*; HyTech; KeYmaera; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)

VERIFAI

Software Authors:   Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh, Edward Kim, Hadi Ravanbakhsh, Marcell Vazquez-Chanlatte, Sanjit A. Seshia
Referenced in: 3 Publications (2021)
Related Software: Reluplex; NNV; Marabou; MNIST; SqueezeDet; Easychair; …
Main Fields: Computer science (68-XX)

XTL

Software Authors:   Garavel, H., Mateescu, R.
Referenced in: 4 Publications (2003–2017)
Related Software: CADP; LNT2LOTOS; Exp.Open; SPIN; M-TREE; BISIMULATOR; …
Main Fields: Computer science (68-XX)

aerial

Software Authors:   Dmitriy Traytel
Referenced in: 3 Publications (2017–2019)
Related Software: GNU parallel; MonPoly; Boolean_Expression_Checkers; Archive Formal Proofs; Montre
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

BioModelAnalyzer

Software Authors:   Ahmed, Zara; Benque, David; Berezin, Sergey; Dahl, Anna Caroline E.; Fisher, Jasmin; Hall, Benjamin A.; Ishtiaq, Samin; Nanavati, Jay; Piterman, Nir; Riechert, Maik; Skoblov, Nikita
Referenced in: 2 Publications (2017–2021)
Related Software: Cytoscape.js; ATLANTIS; Aeon; PyBoolNet; ASSA-PBN; Ginsim; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

J-LO

Software Authors:   Eric Bodden; Volker Stolz
Referenced in: 3 Publications (2009–2012)
Related Software: Java-MOP; DaCapo; AspectJ; PQL; Clara; Java-MaC; …
Main Fields: Computer science (68-XX)

LDYIS

Software Authors:   Lomuscio, Alessio; Penczek, Wojciech
Referenced in: 3 Publications (2008–2011)
Related Software: MCMAS-X; MCMAS; Casper; AVISPA; TAPS; VerICS
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

LTLMoP

Software Authors:   Cameron Finucane; Gangyuan Jing; Hadas Kress-Gazit
Referenced in: 3 Publications (2017–2020)
Related Software: TuLiP; PESSOA; pypoman; FACTEST; FaSTrack; PythonRobotics; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Orchids

Software Authors:   Olivain, Julien; Goubault-Larrecq, Jean
Referenced in: 3 Publications (2005–2018)
Related Software:
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

Petri-PDL

Software Authors:   Braga, Christiano; Lopes, Bruno
Referenced in: 3 Publications (2016–2018)
Related Software: Maude
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

PRISM-PSY

Software Authors:   Češka, M., Pilař, P., Paoletti, N., Brim, L., Kwiatkowska, M.
Referenced in: 3 Publications (2018)
Related Software: PRISM; PROPhESY; Numba; Python; PPL; Uppaal; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

Texada

Software Authors:   C. Lemieux, D. Park, I. Beschastnikh
Referenced in: 3 Publications (2021–2022)
Related Software: PPTLMiner; PPTL_SPIN; Perracotta; C4.5
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)

LOEWE

Software Authors:   –
Referenced in: 2 Publications (2008–2019)
Related Software: CAESAR; CADP; ITS-Tools; caesar.bdd; Meddly; PNMC; …
Main Fields: Computer science (68-XX)

PPTL_SPIN

Software Authors:   Zhang, Xiaoming; Duan, Zhenhua; Tian, Cong
Referenced in: 2 Publications (2016–2022)
Related Software: Texada; PPTLMiner; SPIN
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

PPTLMiner

Software Authors:   Nan Zhang; Bin Yu; Cong Tian; Zhenhua Duan; Xiaoshuai Yuan
Referenced in: 2 Publications (2021–2022)
Related Software: Texada; PPTL_SPIN; Perracotta
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

ProbDiVinE

Software Authors:   Barnat, J.; Brim, L.; Cerna, I.; Ceska, M.; Tumova, J.
Referenced in: 2 Publications (2014–2018)
Related Software: PRISM; Rabinizer; Rapture; PARAM; PASS; LiQuor; …
Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX)

qtlsolver

Software Authors:   Bersani, Marcello M.; Rossi, Matteo; San Pietro, Pierluigi
Referenced in: 2 Publications (2015–2016)
Related Software: z3; zot
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

TaLiRo

Software Authors:   Fainekos, G.E., Pappas, G.J.
Referenced in: 2 Publications (2009–2011)
Related Software: Breach; S-TaLiRo; StateFlow; Matlab
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)

XYZ/ADL

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

XYZ/SE

Software Authors:   Xie, Hongliang; Gong, Jie; Tang, C.S.
Referenced in: 2 Publications (1991–1999)
Related Software:
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Basic-REAL

Software Authors:   Nepomnyashchij, V.A.; Shilov, N.V.; Bodin, E.V.
Referenced in: 1 Publication (1997)
Related Software:
Main Fields: Computer science (68-XX)

BluSTL

Software Authors:   Raman, V., Donzé, A.
Referenced in: 1 Publication (2019)
Related Software: GitHub; YALMIP; Gurobi
Main Fields: Mathematical logic and foundations (03-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)

conPAS

Software Authors:   Aydin Gol, Ebru; Belta, Calin
Referenced in: 1 Publication (2013)
Related Software: Matlab
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Contego

Software Authors:   Hasan, Monowar; Mohan, Sibin; Pellizzoni, Rodolfo; Bobba, Rakesh B.
Referenced in: 1 Publication (2017)
Related Software:
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)

ENuSMV

Software Authors:   Wang, Rui; Liu, Wanwei; Li, Tun; Mao, Xiaoguang; Wang, Ji
Referenced in: 1 Publication (2013)
Related Software: NuSMV
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

FlipIt

Software Authors:   Calhoun, J., Olson, L., Snir, M.
Referenced in: 0 Publications
Related Software: FATE; PreFail; NFTAPE; SciPy; Gremlins; Python; …
Main Fields:

Grade/CPN

Software Authors:   Westergaard, Michael; Fahland, Dirk; Stahl, Christian
Referenced in: 1 Publication (2013)
Related Software: JUnit
Main Fields: Computer science (68-XX); Mathematics education (97-XX)

HEDES

Software Authors:   Rodr\'{\i}guez, M.J.; Parets, J.; Paderewski, P.; Anaya, A.; Hurtado, M.V.
Referenced in: 1 Publication (2000)
Related Software: VisualWorks
Main Fields: Computer science (68-XX)

LBT

Software Authors:   Mauno Rönkkö
Referenced in: 1 Publication (2013)
Related Software: ltlfilt; lbtt; autcross; ltlcross; SPOT; SPIN
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

LP3Verif

Software Authors:   Bavendiek, Kai; Schupp, Sibylle
Referenced in: 1 Publication (2022)
Related Software: SpaceTwist; LocLok; MaPIR; Casper*; CVC4
Main Fields: Computer science (68-XX)

LTL_to_DRA

Software Authors:   Salomon Sickert
Referenced in: 1 Publication (2016)
Related Software: CAVA LTL Modelchecker; Archive Formal Proofs; Rabinizer; ltl2dstar; LTL2BA; BEEM; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)