×

Found 147 Software Packages (Results 1–100)

Coq

Software Authors:   Dehlinger, Christophe; Dufourd, Jean-François
Referenced in: 1,816 Publications (1993–2022)
Related Software: Isabelle/HOL; Isabelle; HOL; PVS; HOL Light; Nuprl; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX)

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)

PVS

Software Authors:   Sam Owre, Natarajan Shankar, John Rushby
Referenced in: 603 Publications (1993–2022)
Related Software: Coq; Isabelle/HOL; HOL; Isabelle; Nuprl; ACL2; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

Z

Software Authors:   Woodcock, Jim; Davies, Jim
Referenced in: 228 Publications (1958–2022)
Related Software: Circus; ProofPower; Rodin; Z/EVES; Eiffel; Isabelle/HOL; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Number theory (11-XX)

E Theorem Prover

Software Authors:   Stephan Schulz
Referenced in: 203 Publications (2001–2021)
Related Software: VAMPIRE; TPTP; SPASS; Isabelle/HOL; Mizar; MaLARea; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX)

UNITY

Software Authors:   K. Mani Chandy; Jayadev Misra
Referenced in: 173 Publications (1988–2021)
Related Software: NQTHM; PVS; HOL; SPIN; LARCH; Rodin; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

LOTOS

Software Authors:   Bolognesi, T., Brinksma, E.
Referenced in: 129 Publications (1988–2020)
Related Software: CADP; SPIN; Uppaal; Z; LOTOSphere; FDR2; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX)

seL4

Software Authors:   Klein, G., Elphinstone, K., Heiser, G., Andronick, J., Cock, D., Derrin, P., Elkaduwe, D., Engelhardt, K., Kolanski, R., Norrish, M., Sewell, T., Tuch, H., Winwood, S.
Referenced in: 84 Publications (2009–2022)
Related Software: Isabelle/HOL; Coq; Isabelle; HOL; HOL Light; kepler98; …
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)

KeY

Software Authors:   http://www.key-project.org/people.html
Referenced in: 51 Publications (2000–2021)
Related Software: JML; ESC/Java; KRAKATOA; Boogie; Spec#; PVS; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Numerical analysis (65-XX)

IF-2.0

Software Authors:   Bozga, Marius; Graf, Susanne; Mounier, Laurent
Referenced in: 37 Publications (2002–2017)
Related Software: Uppaal; Kronos; SPIN; HyTech; CADP; CMC; …
Main Fields: General and overarching topics; collections (00-XX); Dynamical systems and ergodic theory (37-XX); Computer science (68-XX)

Daikon

Software Authors:   Ernst, Michael D.; Perkins, Jeff H.; Guo, Philip J.; McCamant, Stephen; Pacheco, Carlos; Tschantz, Matthew S.; Xiao, Chen
Referenced in: 34 Publications (2005–2022)
Related Software: JML; Eiffel; z3; Houdini; Z; JCrasher; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

WSAT

Software Authors:   Fu, Xiang; Bultan, Tevfik; Su, Jianwen
Referenced in: 29 Publications (2004–2019)
Related Software: BPEL2PN; CADP; SPIN; LTSA-WS; mCRL2; Woflan; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

STeP

Software Authors:   N. Bjørner, I.A. Browne, E. Chang, M. Colón, A. Kapur, Z. Manna, H.B. Sipma, T.E. Uribe
Referenced in: 33 Publications (1997–2015)
Related Software: PVS; SPIN; Uppaal; Kronos; HyTech; Java PathFinder; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)

Ruby

Software Authors:   Flanagan, D.; Matsumoto, Y.
Referenced in: 23 Publications (2002–2017)
Related Software: Python; JavaScript; PERL; Dylan; Lua; ML; …
Main Fields: General and overarching topics; collections (00-XX); Numerical analysis (65-XX); Computer science (68-XX)

JUnit

Software Authors:   Cheon, Yoonsik; Leavens, Gary T.
Referenced in: 15 Publications (2002–2020)
Related Software: JML; Eiffel; ESC/Java; Korat; KeY; Spec#; …
Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); Computer science (68-XX)

Korat

Software Authors:   Chandrasekhar Boyapati; Sarfraz Khurshid; Darko Marinov
Referenced in: 22 Publications (2001–2021)
Related Software: Java PathFinder; Symstra; TestEra; CUTE; Rostra; JUnit; …
Main Fields: Computer science (68-XX)

VIATRA2

Software Authors:   Varró, Dániel; Balogh, András
Referenced in: 18 Publications (2006–2019)
Related Software: PROGRES; AGG; Graph transformation benchmarks; VPM; AToM3; GROOVE; …
Main Fields: Computer science (68-XX)

PMaude

Software Authors:   Gul Agha; José Meseguer; Koushik Sen
Referenced in: 26 Publications (2005–2021)
Related Software: Maude; PVeStA; VESTA; CafeOBJ; ITP; PRISM; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

MAYA

Software Authors:   Hutter, Dieter; Autexier, Serge
Referenced in: 23 Publications (2002–2015)
Related Software: CASL; Mizar; Isabelle; OMDoc; TPTP; PVS; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)

qGCL

Software Authors:   Zuliani, Paolo
Referenced in: 23 Publications (2000–2021)
Related Software: QPL; Quipper; ScaffCC; YALLA; HYBRID; Coq; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Quantum theory (81-XX)

E-LOTOS

Software Authors:   Clark, Robert; Moreira, Ana
Referenced in: 23 Publications (1998–2016)
Related Software: CADP; SPIN; LOTOS; CAESAR_SOLVE; Exp.Open; LNT2LOTOS; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

Essence

Software Authors:   Frisch, Alan M.; Harvey, Warwick; Jefferson, Chris; Martínez-Hernández, Bernadette; Miguel, Ian
Referenced in: 23 Publications (2008–2022)
Related Software: MiniZinc; Zinc; ESRA; COMET; MINION; Sugar; …
Main Fields: Mathematical logic and foundations (03-XX); Associative rings and algebras (16-XX); Computer science (68-XX)

HOL-OCL

Software Authors:   Brucker, Achim D.; Wolff, Burkhart
Referenced in: 13 Publications (2002–2016)
Related Software: ATL; KeY; ETPS; Maude; UML2Alloy; Isabelle/HOL; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

MARTE

Software Authors:   Object Management Group, Inc.
Referenced in: 10 Publications (2009–2017)
Related Software: SysML; Uppaal; SPIN; Matlab; TINA; Simulink; …
Main Fields: Computer science (68-XX); Systems theory; control (93-XX); Information and communication theory, circuits (94-XX)

STG

Software Authors:   Duncan Clarke; Thierry Jéron; Vlad Rusu; Elena Zinovieva
Referenced in: 16 Publications (2002–2014)
Related Software: CADP; TorX; DART; GATeL; IF-2.0; AGATHA; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

UniTESK

Software Authors:   Institute for System Programming of the Russian Academy of Sciences
Referenced in: 14 Publications (2002–2015)
Related Software: SpecExplorer; DART; CUTE; NModel; Symstra; SPIN; …
Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

TorX

Software Authors:   Bohnenkamp, Henrik; Belinfante, Axel
Referenced in: 16 Publications (2005–2021)
Related Software: JTorX; SpecExplorer; STG; CADP; Uppaal; Java PathFinder; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Centaur

Software Authors:   Borras, P., Clément, D., Despeyroux, Th., Incerpi, J., Kahn, G., Lang, B., Pascual, V
Referenced in: 18 Publications (1991–2019)
Related Software: K Prover; Coq; Maude; ML; MMT; JavaFAN; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Checkfence

Software Authors:   Burckhardt, S., Alur, R., Martin, M.K.
Referenced in: 18 Publications (2007–2018)
Related Software: veriSoft; SPIN; UMM; CBMC; Java Grande; Antichains; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-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)

CVT

Software Authors:   Pnueli, A.; Shtrichman, O.; Siegel, M.
Referenced in: 17 Publications (1998–2021)
Related Software: TVOC; CVC; SystemC; ICS; Loopy; Crellvm; …
Main Fields: Mathematical logic and foundations (03-XX); Field theory and polynomials (12-XX); Computer science (68-XX)

LBS

Software Authors:   Pedersen, Michael; Plotkin, Gordon D.
Referenced in: 15 Publications (2010–2022)
Related Software: Bio-PEPA; BioNetGen; BIOCHAM; PRISM; BlenX; NFsim; …
Main Fields: Ordinary differential equations (34-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

ISLANDER

Software Authors:   Marc Esteva , David de la Cruz , Carles Sierra
Referenced in: 9 Publications (2006–2016)
Related Software: Society Visualiser; Jason; NuSMV; Moise+; CCalc; 2APL; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

RAISE

Software Authors:   George, Chris
Referenced in: 14 Publications (1993–2021)
Related Software: Z; PVS; SPIN; ETPS; SAL; mural; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)

Fiat

Software Authors:   Delaware, B., Claudel, C.P., Gross, J., Chlipala, A.
Referenced in: 14 Publications (2015–2019)
Related Software: Coq; Isabelle/HOL; Isabelle; CertiCoq; CakeML; OCaml; …
Main Fields: Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)

LTSA-WS

Software Authors:   Magee J, Kramer J, Uchitel S, et al
Referenced in: 11 Publications (2006–2021)
Related Software: WSAT; NuSMV; Uppaal; LoLA; COWS; ITACA; …
Main Fields: Computer science (68-XX)

Isabelle/Circus

Software Authors:   Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff
Referenced in: 12 Publications (2013–2017)
Related Software: Isabelle/HOL; ProofPower; Isabelle; Circus; Sledgehammer; Isabelle/UTP; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)

CZT

Software Authors:   Community Z Tools Project
Referenced in: 6 Publications (2008–2012)
Related Software: Z; Circus; SPIN; ProofPower; Z/EVES; FDR2; …
Main Fields: Computer science (68-XX)

FALKO

Software Authors:   SIEMENS; Börger, Egon; Päppinghaus, Peter; Schmid, Joachim
Referenced in: 10 Publications (2000–2012)
Related Software: CoreASM; Metasonic; Rodin; ASM Workbench; ASMKeY; XASM; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Ivy

Software Authors:   McMillan, K.L., Padon, O.
Referenced in: 10 Publications (2017–2021)
Related Software: Ivy; z3; nuXmv; Verdi; Dafny; googletest; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Java-MaC

Software Authors:   Moonzoo Kim, Mahesh Viswanathan, Sampath Kannan, Insup Lee, Oleg Sokolsky
Referenced in: 11 Publications (2003–2021)
Related Software: JPAX; Java-MOP; Copilot; InterAspect; evt; AspectWerkz; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

Society Visualiser

Software Authors:   Artikis, Alexander; Sergot, Marek; Pitt, Jeremy
Referenced in: 8 Publications (2007–2013)
Related Software: ISLANDER; CCalc; NuSMV; 2APL; Moise+; Jason; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

VPM

Software Authors:   Dániel Varró, András Pataricza
Referenced in: 4 Publications (2005–2007)
Related Software: VIATRA2; PROGRES; AToM3; Fujaba; Graph transformation benchmarks; GXL; …
Main Fields: Computer science (68-XX)

ANNA

Software Authors:   Luckham, David
Referenced in: 8 Publications (1986–2007)
Related Software: Ada95; Spec#; JML; Eiffel; SPARK; LARCH; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

DEDALE

Software Authors:   S. Grumbach, P. Rigaux, L. Segoufin
Referenced in: 7 Publications (2001–2010)
Related Software: CCUBE; LyriC; Oracle; LIBSVM; MLPQ; XPERANTO; …
Main Fields: Approximations and expansions (41-XX); Computer science (68-XX)

FoCaLiZe

Software Authors:   INRIA; Pessaux, F., Weia, P., Doligez, D.
Referenced in: 8 Publications (2015–2021)
Related Software: Coq; dedukti; PVS; Zenon; Isabelle/HOL; HOL Light; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

MOMENT2

Software Authors:   Artur Boronat; Peter Csaba Ölveczky
Referenced in: 9 Publications (2010–2016)
Related Software: Maude; ITP/OCL; Ptolemy; JavaFAN; Java+ITP; K Prover; …
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)

LOTOSphere

Software Authors:   T. Bolognesi, J. van de Lagemaat, C. Vissers
Referenced in: 6 Publications (2000–2015)
Related Software: LOTOS; Concurrency Workbench; XSB; LEGO; Oz; Maude; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

mural

Software Authors:   Jones, C.B.; Jones, K.D.; Lindsay, P.A.; Moore, R.D.
Referenced in: 8 Publications (1991–2014)
Related Software: Jape; FermaT; Rodin; RAISE; ProB; LARCH; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

CertiKOS

Software Authors:   Gu, R., Shao, Z., Chen, H., Wu, X.N., Kim, J., Sjöberg, V., Costanzo, D.
Referenced in: 8 Publications (2017–2020)
Related Software: seL4; Isabelle/HOL; Isabelle; HOL; Coq; GitHub; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

MulVAL

Software Authors:   Ou, X., Govindavajhala, S., Appel, A.W.
Referenced in: 5 Publications (2010–2020)
Related Software: ADEPTS; SHARPE; CyGraph; TCPDUMP; SecurITree; SeaMonster; …
Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-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)

Truth/SLC

Software Authors:   Leucker, Martin; Noll, Thomas
Referenced in: 4 Publications (2001–2007)
Related Software: mCRL; CADP; PlayGame
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

UMM

Software Authors:   Yang Y, Gopalakrishnan G, Lindstrom G
Referenced in: 6 Publications (2007–2016)
Related Software: Coq; Checkfence; TSOTool; GitHub; Weak2SC; Lazy-CSeq; …
Main Fields: 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)

C-SPARQL

Software Authors:   Barbieri, Davide Francesco; Braga, Daniele; Ceri, Stefano; Della Valle, Emanuele; Grossniklaus, Michael
Referenced in: 7 Publications (2010–2022)
Related Software: SPARQL; Clingo; oClingo; Apache Flink; Graal; Jena; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX)

DisCo

Software Authors:   Aaltonen, Timo; Katara, Mika; Pitkänen, Risto
Referenced in: 7 Publications (1998–2006)
Related Software: PVS; AspectJ; Ocsid; HOL-UNITY; HOL; Coq; …
Main Fields: Computer science (68-XX)

LPTP

Software Authors:   Stärk, Robert F.
Referenced in: 6 Publications (1998–2016)
Related Software: AsmL; ML; XSB; HeerHugo; Chaff; SATO; …
Main Fields: Computer science (68-XX)

Lutess

Software Authors:   du Bousquet, L.; Quabdesselam, F.; Parissis, I.; Richier, J.-L.; Zuanon, N.
Referenced in: 5 Publications (1999–2012)
Related Software: ATGen; GATeL; Circus; Reo; Maude; Esterel; …
Main Fields: Computer science (68-XX)

SyncGen

Software Authors:   Deng, Xianghua; Dwyer, Matthew B.; Hatcliff, John; Mizuno, Masaaki
Referenced in: 7 Publications (2004–2016)
Related Software: ESC/Java; Bandera; SYNTHESIS; Atomizer; SLAM; BLAST; …
Main Fields: Computer science (68-XX)

WSOL

Software Authors:   Tosic, Vladimir; Patel, Kruti; Pagurek, Bernard
Referenced in: 3 Publications (2002–2003)
Related Software: Jess; SNAP; Protege; UDDI
Main Fields: Computer science (68-XX)

XPathLog

Software Authors:   May, Wolfgang
Referenced in: 1 Publication (2004)
Related Software: XPath; XQuery; XCentric; TOY; Haskell; Lore; …
Main Fields: Computer science (68-XX)

RT-ASLAN

Software Authors:   Auernheimer B, Kemmerer R A.
Referenced in: 3 Publications (1994–2002)
Related Software: Esterel; Ada95; ASTRAL
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)

Amphion

Software Authors:   Lowry, M.R., Philpot, A., Pressburger, T., Underwood, I
Referenced in: 3 Publications (1998–2010)
Related Software: CLAM; Oyster; HOL; SPARK; SETHEO; VCC; …
Main Fields: Computer science (68-XX)

Cocktail

Software Authors:   Franssen, Michael (Eindhoven University of Technology)
Referenced in: 5 Publications (2000–2017)
Related Software: WhyML; z3; cvc3; Why3; SPASS; Alt-Ergo; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)

ConSpec

Software Authors:   Aktug, Irem; Naliuka, Katsiaryna
Referenced in: 5 Publications (2008–2013)
Related Software: SPIN; AspectJ; SLAM; jContractor; PQL; J-LO; …
Main Fields: Computer science (68-XX)

COSTABS

Software Authors:   Albert, E., Arenas, P., Genaim, S., Gómez-Zamalloa, M., Puebla, G.
Referenced in: 5 Publications (2012–2017)
Related Software: ABS; SPEED; SACO; JCobox; Erlang; Featherweight Java; …
Main Fields: Computer science (68-XX)

Refiner

Software Authors:   Hunt, Kenny; Cremer, James
Referenced in: 5 Publications (1995–2005)
Related Software: nauty; MOLGEN; ACSL; AMPL; OOPM; Mathematica; …
Main Fields: Convex and discrete geometry (52-XX); Statistics (62-XX); Computer science (68-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)

Spi2Java

Software Authors:   Pozza, D., Sisto, R., Durante, L.
Referenced in: 3 Publications (2007–2014)
Related Software: ASPIER; AGVI; ProVerif; TulaFale; ZKPDL; MJ; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

TRADE

Software Authors:   Wieringa, Roel J.; Jansen, David N.
Referenced in: 1 Publication (2001)
Related Software:
Main Fields: Computer science (68-XX)

anthem

Software Authors:   Lifschitz, V., Lühne, P., Schaub, T.
Referenced in: 3 Publications (2019–2020)
Related Software: Gringo; TPTP; VAMPIRE; Smodels
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

CoMA

Software Authors:   P Arcaini, A Gargantini, E Riccobene
Referenced in: 2 Publications (2016–2021)
Related Software: AsmetaSMV; NuSMV; ASMETA; Maude; SPIN; COWS; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-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)

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)

Pavane

Software Authors:   G.-C. Roman, K. C. Cox, Donald Wilcox, Jerome Y. Plun
Referenced in: 4 Publications (2002)
Related Software: Tango; Leonardo; Zeus; POLKA; LEDA; XTango; …
Main Fields: Computer science (68-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)

Unbound

Software Authors:   Weirich, Stephanie; Yorgey, Brent A.; Sheard, Tim
Referenced in: 4 Publications (2011–2019)
Related Software: Isabelle/HOL; Psi-calculi; Nominal Isabelle; LNgen; Beluga; GitHub; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

AutoSyn

Software Authors:   Huai, Jinpeng; Deng, Ting; Li, Xianxian; Du, Zongxia; Guo, Huipeng
Referenced in: 3 Publications (2009–2012)
Related Software: WSAT; NuSMV; LTSA-WS; SWORD
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)

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)

PiXL

Software Authors:   del Mar Gallardo, María; Martínez, Jesús; Merino, Pedro; Nuñez, Pablo; Pimentel, Ernesto
Referenced in: 1 Publication (2007)
Related Software: CAESAR; CAESAR_SOLVE; Bandera; CADP; NuSMV; SPIN; …
Main Fields: Computer science (68-XX)

PyBioNetFit

Software Authors:   Mitra, ED; Suderman, R.; Colvin, J.; Ionkov, A.; Hu, A.; Sauro, HM; Posner, RG; Hlavacek, WS
Referenced in: 1 Publication (2020)
Related Software: COPASI; AMIGO; tellurium; MEIGO; BioNetGen; Data2Dynamics; …
Main Fields: Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)

SEMANOL

Software Authors:   Anderson, E. R.; Belz, F. C.; Blum, E. K.
Referenced in: 3 Publications (1976–1984)
Related Software: ALGOL 68; Refal; ALGOL 60
Main Fields: General algebraic systems (08-XX); Commutative algebra (13-XX); Group theory and generalizations (20-XX)

TimeML

Software Authors:   Ingria, B., Pustejovsky, J.
Referenced in: 3 Publications (2014–2020)
Related Software: C4.5; WEKA; LIBLINEAR; LIBSVM; ClearTK; Pyomo; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

UMLsec

Software Authors:   Jürjens J, Shabalin P, Alter E, Gilg A, Höhn S, Kopjev D, Lehrhuber M, Schwarzmüller S, Shen S
Referenced in: 1 Publication (2018)
Related Software: Bouncy Castle; MJ; JavaSPI; AGVI; MARTE; HERBY; …
Main Fields: Computer science (68-XX)

ADL2

Software Authors:   Masaharu Obayashi; Hiroshi Kubota; Shane P. McCarron; Lionel Mallet
Referenced in: 2 Publications (1995–2001)
Related Software: ADL
Main Fields: Computer science (68-XX)

CosyVerif

Software Authors:   Haddad, S., Kordon, F., Petruci, L.
Referenced in: 2 Publications (2013–2015)
Related Software: Cython; SNAKES; SWIG; Helena; TINA; Graphviz; …
Main Fields: Computer science (68-XX)

DeCIF

Software Authors:   Cornelius, Felix
Referenced in: 2 Publications (1999–2001)
Related Software:
Main Fields: Computer science (68-XX)

DLC

Software Authors:   Hugues Evrard
Referenced in: 2 Publications (2015–2017)
Related Software: XTL; LNT2LOTOS; UNITY; Exp.Open; Reo; CADP; …
Main Fields: Computer science (68-XX)

EventB2Java

Software Authors:   Néstor Cataño; Víctor Rivera
Referenced in: 2 Publications (2020–2021)
Related Software: Rodin; JeB; Overture Tool; SICStus; WebASM; VisB; …
Main Fields: Computer science (68-XX)

FORMULA 2.0

Software Authors:   Jackson, Ethan K.; Schulte, Wolfram
Referenced in: 2 Publications (2013–2016)
Related Software: ATL; MOMENT2; VIDEAS; Maude; HOL-OCL; AGG; …
Main Fields: Computer science (68-XX)

GRADE

Software Authors:   Kacsuk, Péter; Dózsa, Gábor; Fadgyas, Tibor; Lovas, Róbert
Referenced in: 2 Publications (1998–2001)
Related Software:
Main Fields: Computer science (68-XX)

GRL

Software Authors:   Jebali F, Lang F, Mateescu R
Referenced in: 1 Publication (2016)
Related Software: AADL; LNT2LOTOS; Esterel; Polychrony; CADP; SPIN; …
Main Fields: Computer science (68-XX)

HAL

Software Authors:   Habbas, Zineb
Referenced in: 2 Publications (1992–1993)
Related Software:
Main Fields: 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)

MiniMaple

Software Authors:   Khan, Muhammad Taimoor; Schreiner, Wolfgang
Referenced in: 2 Publications (2012)
Related Software: Why3; Maple; DifferenceDifferential; Miranda; Spec#; LARCH
Main Fields: Computer science (68-XX)

NetSketch

Software Authors:   Bestavros, Azer; Kfoury, Assaf; Lapets, Andrei; Ocean, Michael J.
Referenced in: 2 Publications (2010–2012)
Related Software: Isabelle; SPIN; scunac; Fortress; Matita; Mizar; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)