×

Found 39 Software Packages (Results 1–39)

PHAVer

Software Authors:   Frehse, Goran
Referenced in: 115 Publications (2005–2022)
Related Software: HyTech; SpaceEx; Uppaal; RSOLVER; HSolver; d/dt; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

KeYmaera

Software Authors:   Platzer, André; Quesel, Jan-David
Referenced in: 47 Publications (2008–2022)
Related Software: SpaceEx; HyTech; KeYmaera X; PHAVer; Isabelle/HOL; Flow*; …
Main Fields: Mathematical logic and foundations (03-XX); Linear and multilinear algebra; matrix theory (15-XX); Ordinary differential equations (34-XX)

PolyBoRi

Software Authors:   Alexander Dreyer; Michael Brickenstein
Referenced in: 48 Publications (2008–2021)
Related Software: SINGULAR; Magma; FGb; SageMath; CUDD; MiniSat; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Commutative algebra (13-XX)

dSPIN

Software Authors:   Demartini, C., Iosif, R., Sisto, R.
Referenced in: 22 Publications (2000–2014)
Related Software: SPIN; Bandera; Java PathFinder; veriSoft; Bogor; Bebop; …
Main Fields: General and overarching topics; collections (00-XX); 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)

Ligero

Software Authors:   Ames, S., Hazay, C., Ishai, Y., Venkitasubramaniam, M.
Referenced in: 17 Publications (2018–2022)
Related Software: ZKBoo; libiop; Libra; SNARKs for C; Marlin; Geppetto; …
Main Fields: Computer science (68-XX); Quantum theory (81-XX); Information and communication theory, circuits (94-XX)

WoLFram

Software Authors:   Sülflow, André
Referenced in: 16 Publications (2010–2022)
Related Software: R; KLEE; z3; Yices; Daikon; SMT-LIB; …
Main Fields: General and overarching topics; collections (00-XX); Dynamical systems and ergodic theory (37-XX); Computer science (68-XX)

Marlin

Software Authors:   Chiesa, Alessandro; Hu, Yuncong; Maller, Mary; Mishra, Pratyush; Vesely, Noah; Ward, Nicholas
Referenced in: 13 Publications (2020–2022)
Related Software: libiop; Ligero; Libra; GitHub; Geppetto; ZKBoo; …
Main Fields: Computer science (68-XX); Quantum theory (81-XX); Information and communication theory, circuits (94-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)

DINOSOARS

Software Authors:   Abdelsamie, Abouelmagd; Fru, Gordon; Oster, Timo; Dietzsch, Felix; Janiga, Gábor; Thévenin, Dominique
Referenced in: 9 Publications (2016–2022)
Related Software: 2DECOMP; GitHub; pyJac; HOLOMAC; Cantera; Refprop; …
Main Fields: Numerical analysis (65-XX); Fluid mechanics (76-XX); Classical thermodynamics, heat transfer (80-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)

Edmonds-Karp

Software Authors:   Lammich, Peter; Sefidgar, S. Reza
Referenced in: 7 Publications (2016–2021)
Related Software: Gabow SCC; Coq; Isabelle/HOL; Isabelle; Dijkstra Shortest Path; Separation Logic; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

FunFrog

Software Authors:   Sery, Ondrej; Fedyukovich, Grigory; Sharygina, Natasha
Referenced in: 5 Publications (2013–2019)
Related Software: eVolCheck; PeRIPLO; OpenSMT; OpenSMT2; GNU parallel; UFO; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

TiML

Software Authors:   Wang, P., Wang, D., Chlipala, A.
Referenced in: 6 Publications (2018–2021)
Related Software: TcT; z3; Separation Logic; OptiMathSAT; Amortized Complexity; KITTeL; …
Main Fields: Computer science (68-XX)

Galculator

Software Authors:   Silva, P. F.; Oliveira, J. N.
Referenced in: 5 Publications (2009–2019)
Related Software: Fiat; Verasco; ASTREE; AoPA; Agda; Z; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Order, lattices, ordered algebraic structures (06-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)

Aximo

Software Authors:   Richards, S., M. Sadrzadeh
Referenced in: 4 Publications (2009–2016)
Related Software: DEMO; Pesca
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Quantum theory (81-XX)

FLAVERS

Software Authors:   Cobleigh, J.M.; Clarke, L.A.; Osterweil, L.J.
Referenced in: 0 Publications
Related Software: PMD; PQL; CodeSurfer; Checkstyle; MOPS; JML; …
Main Fields:

helperOC

Software Authors:   Somil Bansal, Mo Chen, Sylvia Herbert, Claire J. Tomlin
Referenced in: 3 Publications (2020–2022)
Related Software: ToolboxLS; PILCO; Python; BaRC
Main Fields: Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Vertaf

Software Authors:   S.-W. Lin, S.-W. Lin, C.-H. Tseng, T.-Y. Lee, J.-M. Fu
Referenced in: 2 Publications (2013)
Related Software: Cellss; MARTE; Intel TBB; Sycraft; MR4UM; Uppaal; …
Main Fields: Computer science (68-XX); Systems theory; control (93-XX)

FACTum

Software Authors:   Marmsoler, Diego; Gidey, Habtom Kashay
Referenced in: 3 Publications (2019–2021)
Related Software: Klocwork; Java-MOP; ConQAT; Architectural_Design_Patterns; Dynamic Architectures; Archive Formal Proofs; …
Main Fields: Computer science (68-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)

TERMINATOR

Software Authors:   Xu, Ming; Li, Zhi-Bin
Referenced in: 3 Publications (2013–2016)
Related Software: REACH; DISCOVERER
Main Fields: Mathematical logic and foundations (03-XX); Group theory and generalizations (20-XX); Dynamical systems and ergodic theory (37-XX)

JBernstein

Software Authors:   Cheng CH, Ruess H, Shankar N
Referenced in: 1 Publication (2016)
Related Software: EFSMT; dReal; z3; Yices; QEPCAD; MetiTarski
Main Fields: Computer science (68-XX)

MASA

Software Authors:   Malaya, N., Estacio-Hiroms, K. C., Stogner, R. H., Schulz, K. W., Bauman, P. T., Carey, G. F.
Referenced in: 2 Publications (2014–2015)
Related Software: Spalart-Allmaras; libMesh; PETSc; SENSEI; NUMERICA; Python; …
Main Fields: Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX)

POWER-TRUCTOR

Software Authors:   A. Hazra, R. Mukherjee, P. Dasgupta, A. Pal, K. Harer, A. Banerjee, S. Mukherjee
Referenced in: 2 Publications (2016–2018)
Related Software: AMT; ASDeX; iscasMc; PROPhESY; Rapture; PRISM-games; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

RecurJac

Software Authors:   Huan Zhang, Pengchuan Zhang, Cho-Jui Hsieh
Referenced in: 2 Publications (2020–2021)
Related Software: AI2; Reluplex; SCIP; DeepGauge; DeepMutation; DeepXplore; …
Main Fields: Computer science (68-XX)

TRecS

Software Authors:   Kobayashi, N.
Referenced in: 2 Publications (2012)
Related Software: TravMC; BLAST; THORS; EigenCFA
Main Fields: Computer science (68-XX)

ASVtorch

Software Authors:   Kong Aik Lee, Ville Vestman, Tomi Kinnunen
Referenced in: 0 Publications
Related Software: SIDEKIT; Bob; VoxCeleb; ALIZE; FFmpeg; Kaldi; …
Main Fields:

BIGHORN

Software Authors:   Idaho National Lab. (INL): Xia, Yidong; Andrs, David; Martineau, Richard Charles
Referenced in: 1 Publication (2019)
Related Software: Fuego; Flownex; SimScale; Refprop; HyperMesh; STAR-CCM+; …
Main Fields: Fluid mechanics (76-XX)

Build-X

Software Authors:   Psyrras N.K., Sextos A.G.
Referenced in: 0 Publications
Related Software: ABAQUS; SAP2000; VTK; DYANAS; MSBridge; PileGroupTool; …
Main Fields:

CAMPY

Software Authors:   Srikanth, Akhilesh; Sahin, Burak; Harris, William R.
Referenced in: 1 Publication (2017)
Related Software: LeetCode; Soot; z3
Main Fields: Computer science (68-XX)

CTML

Software Authors:   Tonfoni, Graziella
Referenced in: 1 Publication (2005)
Related Software:
Main Fields: Computer science (68-XX)

DRBD

Software Authors:   H. Xu, L. Xing; R. Robidoux
Referenced in: 1 Publication (2020)
Related Software: BlockSim; HOL; Isabelle/HOL; Isabelle
Main Fields: Computer science (68-XX)

LISA

Software Authors:   Ayari, Abdelwaheb; Basin, David; Podelski, Andreas
Referenced in: 1 Publication (1998)
Related Software: Mosel; STeP; MONA
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

MURAVE

Software Authors:   Lau, Terry Shue Chien; Tan, Chik How
Referenced in: 1 Publication (2020)
Related Software: Durandal
Main Fields: Information and communication theory, circuits (94-XX)

VariaMos

Software Authors:   Mazo R, Salinesi C, Diaz D
Referenced in: 1 Publication (2016)
Related Software: FeatureIDE; Pellet
Main Fields: Computer science (68-XX)

ATCase

Software Authors:   Wang, Lilei; Zeng, Xia; Lin, Wang; Chen, Xin; Yang, Zhengfeng
Referenced in: 0 Publications
Related Software:
Main Fields:

KeYmaeraD

Software Authors:   André Platzer, David Renshaw
Referenced in: 0 Publications
Related Software:
Main Fields: