×

Found 83 Software Packages (Results 1–83)

HOL Light

Software Authors:   Harrison, John
Referenced in: 301 Publications (1998–2022)
Related Software: Coq; Isabelle/HOL; HOL; Isabelle; Mizar; ML; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Number theory (11-XX)

NQTHM

Software Authors:   Boyer, Robert S.; Moore, J. Strother
Referenced in: 139 Publications (1979–2021)
Related Software: HOL; ACL2; PVS; Coq; ML; Nuprl; …
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)

BABEL

Software Authors:   Mario Rodriguez-Artalejo
Referenced in: 69 Publications (1988–2013)
Related Software: Kernel-LEAF; TOY; Curry; ECCE; PAKCS; Miranda; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

PRINCE

Software Authors:   Borghoff, Julia; Canteaut, Anne; G"uneysu, Tim; Kavun, Elif Bilge; Knezevic, Miroslav; Knudsen, Lars R.; Leander, Gregor; Nikov, Ventzislav; Paar, Christof; Rechberger, Christian; Rombouts, Peter; Thomsen, S{o}ren S.; Yalc{c}{i}n, Tolga
Referenced in: 70 Publications (2012–2022)
Related Software: PRESENT; SIMON; Piccolo; KATAN; LED; Midori; …
Main Fields: Combinatorics (05-XX); Number theory (11-XX); Computer science (68-XX)

Ott

Software Authors:   Sewell, Peter; Nardelli, Francesco Zappa; Owens, Scott; Peskine, Gilles; Ridge, Thomas; Sarkar, Susmit; Strniša, Rok
Referenced in: 31 Publications (2007–2021)
Related Software: Coq; Isabelle/HOL; Nominal Isabelle; Isabelle; Twelf; HOL; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

Creol

Software Authors:   Johnsen, Einar Broch; Owe, Olaf; Yu, Ingrid Chieh
Referenced in: 25 Publications (2006–2022)
Related Software: Featherweight Java; ABCL; Maude; Multilisp; ABS; AmbientTalk; …
Main Fields: Computer science (68-XX)

CCured

Software Authors:   Necula, G.C., McPeak, S., Weimer, W.
Referenced in: 18 Publications (2002–2018)
Related Software: Cyclone; Java PathFinder; DART; SLAM; Bandera; z3; …
Main Fields: Computer science (68-XX)

LPL software

Software Authors:   Dave Barker-Plummer, Jon Barwise, John Etchemendy; Albert Liu, Michael Murray, Emma Pease
Referenced in: 17 Publications (2000–2020)
Related Software: EPGY; REDUCE; OTTER; ralgb5; ralgb4; IntLinInc3D; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)

Milawa

Software Authors:   Myreen, Magnus O.; Davis, Jared
Referenced in: 19 Publications (2011–2020)
Related Software: HOL; Jitawa; Coq; HOL Light; Isabelle/HOL; CakeML; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

SCIFF

Software Authors:   Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
Referenced in: 19 Publications (2006–2022)
Related Software: HYPROLOG; PRISM; ProbLog; SOLAR; ACORDA; cplint; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

cminor

Software Authors:   Appel, A.W., Blazy, S.
Referenced in: 17 Publications (2007–2016)
Related Software: Coq; CompCert; Isabelle/HOL; CIL; Boogie; Dafny; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

KeYmaera X

Software Authors:   Fulton, N., Mitsch, S., Quesel, J., Völp, M., Platzer, A.
Referenced in: 14 Publications (2015–2022)
Related Software: KeYmaera; SpaceEx; Isabelle/HOL; Bellerophon; Coq; ModelPlex; …
Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Computer science (68-XX)

AURA

Software Authors:   Jia, Limin; Vaughan, Jeffrey A.; Mazurak, Karl; Zhao, Jianzhou; Zarko, Luke; Schorr, Joseph; Zdancewic, Steve
Referenced in: 10 Publications (2008–2016)
Related Software: Coq; F*; Agda; Ynot; Fable; Cayenne; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

MathScheme

Software Authors:   Carette, Jacques; Farmer, William M.; O’Connor, Russell
Referenced in: 9 Publications (2011–2021)
Related Software: Coq; Agda; HOL Light; Theorema; Isabelle; Idris; …
Main Fields: Combinatorics (05-XX); Order, lattices, ordered algebraic structures (06-XX); General algebraic systems (08-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)

HOL-Omega

Software Authors:   Homeier, Peter V.
Referenced in: 9 Publications (2009–2019)
Related Software: HOL; Isabelle; Coq; Lifting; Transfer; HOL Light; …
Main Fields: Category theory; homological algebra (18-XX); Computer science (68-XX)

Omega-ANTS

Software Authors:   Benzmüller, Christoph; Sorge, Volker
Referenced in: 9 Publications (2001–2008)
Related Software: OMEGA; LOUI; TRAMP; Leo; TPTP; MBase; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

VeriML

Software Authors:   Stampoulis, Antonis; Shao, Zhong
Referenced in: 8 Publications (2010–2016)
Related Software: Coq; seL4; Mtac; Delphin; ML; Haskell; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

Alms

Software Authors:   Tov, Jesse A.; Pucella, Riccardo
Referenced in: 7 Publications (2011–2021)
Related Software: Pesca; OCaml; Haskell; Fugue; PLURAL; PIPER; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Density Compiler

Software Authors:   Manuel Eberl, Johannes Hölzl, Tobias Nipkow
Referenced in: 7 Publications (2015–2022)
Related Software: Isabelle/HOL; Archive Formal Proofs; Isabelle; Lifting; Transfer; Coq; …
Main Fields: Category theory; homological algebra (18-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

LNgen

Software Authors:   Aydemir, B.E., Weirich, S.
Referenced in: 7 Publications (2011–2021)
Related Software: PoplMark; Isabelle/HOL; Nominal Isabelle; Abella; Twelf; Beluga; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

FocalTest

Software Authors:   Carlier, Matthieu; Dubois, Catherine; Gotlieb, Arnaud
Referenced in: 6 Publications (2011–2018)
Related Software: QuickCheck; Coq; SmallCheck; Mathematical Components; GitHub; QuickChick; …
Main Fields: Combinatorics (05-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)

CoSP

Software Authors:   Michael Backes , Dennis Hofheinz , Dominique Unruh
Referenced in: 5 Publications (2010–2018)
Related Software: AVISPA; EasyCrypt; ProVerif; YAPA; Autoref; Zoo Probabilistic Systems; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

Lolliproc

Software Authors:   Mazurak, Karl; Zdancewic, Steve
Referenced in: 5 Publications (2010–2016)
Related Software: VeriML; ReCaml; Haskell; F*
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

Program-Conflict-Analysis

Software Authors:   Lammich, Peter; Müller-Olm, Markus
Referenced in: 5 Publications (2008–2018)
Related Software: Archive Formal Proofs; MAGIC; BicolanoMT; Coq; Isabelle/HOL
Main Fields: Computer science (68-XX)

AgsyHOL

Software Authors:   Lindblad, F.
Referenced in: 4 Publications (2013–2015)
Related Software: TPTP; Isabelle/HOL; Nitpick; Satallax; LEO-II; FMLtoHOL; …
Main Fields: 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)

Luck

Software Authors:   Lampropoulos, Leonidas; Gallois-Wong, Diane; Hriţcu, Cătălin; Hughes, John; Pierce, Benjamin C.; Xia, Li-yao
Referenced 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)

RDL

Software Authors:   Armando, Alessandro; Compagna, Luca; Ranise, Silvio
Referenced in: 4 Publications (2001–2005)
Related Software: NQTHM; ACL2; Cambridge LCF; GUARDIAN; Maple; PVS; …
Main Fields: Computer science (68-XX)

SAFECode

Software Authors:   Dhurjati, D., Kowshik, S., Adve, V.
Referenced in: 4 Publications (2008–2013)
Related Software: CCured; Coq; LLVM
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

Superposition Calculus

Software Authors:   Nicolas Peltier
Referenced in: 4 Publications (2018–2020)
Related Software: Isabelle/HOL; Isabelle; Archive Formal Proofs; Isabelle/jEdit; HOL; Isar; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Tribe

Software Authors:   Clarke, D., Drossopoulou, S., Noble, J., Wrigstad, T.
Referenced in: 4 Publications (2010–2016)
Related Software: Waldmeister; Mace4; Prover9; HMap; Dotty; 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)

Bsig

Software Authors:   Henriques, Rui; Madeira, Sara C.
Referenced in: 3 Publications (2018–2021)
Related Software: BicPAM; MovieLens; BicPAMS; BicNET; BiC2PAM; BicSPAM; …
Main Fields: Statistics (62-XX); Quantum theory (81-XX)

Differential_Game_Logic

Software Authors:   André Platzer
Referenced 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)

HOLCF

Software Authors:   Brian Huffman
Referenced in: 3 Publications (2012–2017)
Related Software: Isabelle/HOL; Archive Formal Proofs; Stern-Brocot Tree; MiniAgda; AmiCo; Lifting; …
Main Fields: Computer science (68-XX)

JavaSPI

Software Authors:   Sisto, Riccardo; Bettassa Copet, Piergiuseppe; Avalle, Matteo; Pironti, Alfredo
Referenced in: 1 Publication (2018)
Related Software: MJ; AGVI; Bouncy Castle; UMLsec; Helios; TS#; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

JayHorn

Software Authors:   Temesghen Kahsai; Rody Kersten; Philipp Rümmer; Huascar Sanchez; Martin Schäf
Referenced in: 2 Publications (2020–2021)
Related Software: SeaHorn; JPF-SE; JBMC; MoCHi; CoVaC; Spacer; …
Main Fields: Computer science (68-XX)

QPEL

Software Authors:   Adams, Robin
Referenced in: 3 Publications (2014–2018)
Related Software: QPL
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Statistics (62-XX)

Regular_Algebras

Software Authors:   Simon Foster; Georg Struth
Referenced in: 3 Publications (2015–2016)
Related Software: Sledgehammer; Isabelle/HOL; TRAMP; Flyspeck; PRocH; E Theorem Prover; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Verified Prover

Software Authors:   Tom Ridge
Referenced in: 3 Publications (2009–2018)
Related Software: Archive Formal Proofs; Isabelle/HOL; FOL_Harrison; FOL Fitting; Superposition Calculus; Completeness theorem; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

verifier

Software Authors:   Kubota, Takahiro; Kakutani, Yoshihiko; Kato, Go; Kawano, Yasuhito; Sakurada, Hideki
Referenced in: 3 Publications (2016–2019)
Related Software: QPL; QPMC; LIQUi; ScaffCC; Quipper; PRISM
Main Fields: Computer science (68-XX); Quantum theory (81-XX)

VeriStar

Software Authors:   Stewart, Gordon; Beringer, Lennart; Appel, Andrew W.
Referenced in: 3 Publications (2012–2016)
Related Software: Coq; jStar; Smallfoot; Rocksalt; Gallina; VeriSmall; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Wysteria

Software Authors:   Rastogi, A., Hammer, M.A., Hicks, M.
Referenced in: 3 Publications (2016–2022)
Related Software: Sharemind; HyCC; JIFF; Links; Hop; Hop.js; …
Main Fields: Computer science (68-XX); Mechanics of particles and systems (70-XX); Information and communication theory, circuits (94-XX)

BicNET

Software Authors:   Henriques, R.; Madeira, SC
Referenced in: 1 Publication (2018)
Related Software: FABIA; BicPAMS; BicAT; BicOverlapper; bibench; CoClust; …
Main Fields: Statistics (62-XX)

CoCo

Software Authors:   Guoqing Xu
Referenced in: 1 Publication (2015)
Related Software: Pycket; GHC
Main Fields: Computer science (68-XX)

Epistemic Logic

Software Authors:   Asta Halkjær From
Referenced in: 2 Publications (2021)
Related Software: Archive Formal Proofs; FOL Fitting; SQEMA; Sledgehammer; HOL; Isabelle/HOL; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

eThor

Software Authors:   Clara Schneidewind, Ilya Grishchenko, Markus Scherer, Matteo Maffei
Referenced in: 2 Publications (2021)
Related Software: SmartCheck; Vandal; GitHub; Imandra; Easychair; CBMC; …
Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX); Information and communication theory, circuits (94-XX)

GATEKEEPER

Software Authors:   S. Guarnieri; B. Livshits
Referenced in: 1 Publication (2013)
Related Software: JavaScript; ast; Synode; Judge; WALA; Node.js; …
Main Fields: Computer science (68-XX)

JNIL

Software Authors:   Tan, Gang
Referenced in: 1 Publication (2015)
Related Software: Ilea; Featherweight Java; OCaml
Main Fields: Computer science (68-XX)

LaCasa

Software Authors:   Haller, P.; Loiko, A.
Referenced in: 2 Publications (2018–2020)
Related Software: Eff; Koka; Scala; OCaml; Scalding; Scoobi; …
Main Fields: Computer science (68-XX)

Metadata Editor

Software Authors:   Bartošek, Miroslav; Kovář, Petr; Šárfy, Martin
Referenced in: 2 Publications (2008–2013)
Related Software: INFTY; TeX; LaTeX; MathML; ParsCit
Main Fields: Computer science (68-XX)

Mungo

Software Authors:   Kouzapas, Dimitrios; Dardha, Ornela; Perera, Roly; Gay, Simon J.
Referenced in: 2 Publications (2018–2020)
Related Software: session-ocaml; LASH; z3
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)

Ordered_Resolution_Prover

Software Authors:   Anders Schlichtkrull; Jasmin Christian Blanchette; Dmitriy Traytel; Uwe Waldmann
Referenced in: 2 Publications (2001–2020)
Related Software: Robinson arithmetic; Saturation_Framework; Nested Multisets; AVATAR; Logtk; Archive Formal Proofs; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

SeLINQ

Software Authors:   Schoepe, Daniel; Hedin, Daniel; Sabelfeld, Andrei
Referenced in: 2 Publications (2014–2017)
Related Software: K Prover; Links; JSLINQ; F*; KJS; Ur/Web; …
Main Fields: Computer science (68-XX)

Verified LLL

Software Authors:   Ralph Bottesch, Jose Divasón, Maximilian Haslbeck, Sebastiaan Joosten, René Thiemann, Akihisa Yamada
Referenced in: 2 Publications (2018–2020)
Related Software: LLL Factorization; Berlekamp Zassenhaus; HOL; Isabelle/HOL; Isabelle; Root Balanced Tree; …
Main Fields: Number theory (11-XX); Computer science (68-XX)

Abstract Soundness

Software Authors:   Jasmin Christian Blanchette; Andrei Popescu; Dmitriy Traytel
Referenced in: 1 Publication (2018)
Related Software: FOL_Harrison; Propositional Resolution; Incredible Proof Machine; Verified Prover; Lambda Free RPOs; Archive Formal Proofs; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Arya

Software Authors:   Bootle, Jonathan; Cerulli, Andrea; Groth, Jens; Jakobsen, Sune; Maller, Mary
Referenced in: 1 Publication (2018)
Related Software: vRAM; vSQL; ZKBoo; Ligero; SNARKs for C
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

Cartographer

Software Authors:   Pawel Sobocinski, Paul W Wilson, Fabio Zanasi
Referenced in: 1 Publication (2021)
Related Software: Catlab; LightGraphs.jl; Quantomatic
Main Fields: Category theory; homological algebra (18-XX)

DiffRNN

Software Authors:   Mohammadinejad, Sara; Paulsen, Brandon; Deshmukh, Jyotirmoy V.; Wang, Chao
Referenced in: 1 Publication (2021)
Related Software: NeuroDiff; ReluDiff; POPQORN; DeepGauge; DeepXplore; TensorFuzz; …
Main Fields: Computer science (68-XX)

Diophantine

Software Authors:   Meßner, F., Parsert, J., Schöpf, J., Sternagel, C.
Referenced in: 1 Publication (2018)
Related Software: CoLL; Isabelle/Isar; Isabelle/HOL
Main Fields: Computer science (68-XX)

Dynamic Architectures

Software Authors:   Diego Marmsoler
Referenced in: 1 Publication (2019)
Related Software: Architectural_Design_Patterns; FACTum; Archive Formal Proofs; Coinductive; Xtext; FDR3; …
Main Fields: Computer science (68-XX)

HybCore

Software Authors:   Goncharov, Sergey; Neves, Renato; Proença, José
Referenced in: 1 Publication (2020)
Related Software: GHCi; UTop; dReach; OCaml; Modelica; Haskell; …
Main Fields: Computer science (68-XX)

Judge

Software Authors:   M. Reif, F. Kübler, M. Eichberg, D. Helm, M. Mezini
Referenced in: 0 Publications
Related Software: ast; GATEKEEPER; Synode; WALA; Node.js; Soot; …
Main Fields:

Logichart

Software Authors:   Adachi, Yoshihiro; Tsuchida, Kensei; Imaki, Takanori; Yaku, Takeo
Referenced in: 1 Publication (1999)
Related Software:
Main Fields: Computer science (68-XX)

McJava

Software Authors:   Kamina, Tetsuo; Tamai, Tetsuo
Referenced in: 1 Publication (2004)
Related Software:
Main Fields: Computer science (68-XX)

MetaFJig

Software Authors:   Servetto, M.; Zucca, E
Referenced in: 1 Publication (2012)
Related Software: Featherweight Java; JML
Main Fields: Computer science (68-XX)

multiPDEVS

Software Authors:   Foures, Damien; Franceschini, Romain; Bisgambiglia, Paul-Antoine; Zeigler, Bernard P.
Referenced in: 1 Publication (2018)
Related Software: DEVS-Ruby
Main Fields: Systems theory; control (93-XX)

Pratt_Certificate

Software Authors:   Simon Wimmer; Lars Noschinski
Referenced in: 1 Publication (2021)
Related Software: Quaternions; Irrational_Series_Erdos_Straus; Transcendence_Series_Hancl_Rucki; Irrationality_J_Hancl; Amicable Numbers; Octonions; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Propositional Resolution

Software Authors:   Nicolas Peltier
Referenced in: 1 Publication (2018)
Related Software: FOL_Harrison; Incredible Proof Machine; Abstract Soundness; Verified Prover; Lambda Free RPOs; Archive Formal Proofs; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

QSYM

Software Authors:   Yun I, Lee S, Xu M, Jang Y, Kim T.
Referenced in: 0 Publications
Related Software: JaCoCo; JUnit; Python; PIT; SUSHI; EvoSuiteDSE; …
Main Fields:

QuIt

Software Authors:   Gleiss, Bernhard; Kovács, Laura; Robillard, Simon
Referenced in: 1 Publication (2018)
Related Software: InvGen; CVC4; z3; TPTP; SMT-LIB; VAMPIRE
Main Fields: Computer science (68-XX)

SimBPDD

Software Authors:   Schefzik, Roman
Referenced in: 1 Publication (2021)
Related Software: BPSC; splatter; R
Main Fields: Statistics (62-XX); Biology and other natural sciences (92-XX)

Simpl

Software Authors:   Norbert Schirmer
Referenced in: 1 Publication (2016)
Related Software: Kleene Algebra; Regular Sets; Archive Formal Proofs; Circus; WhyML; Why3; …
Main Fields: Computer science (68-XX)

Sofia

Software Authors:   Kovásznai, Gergely
Referenced in: 1 Publication (2005)
Related Software:
Main Fields: Computer science (68-XX)

ViWoSG

Software Authors:   Wang, Guoping; Li, Sheng; Wang, Shaorong; Lu, Bin; Li, Wenhang
Referenced in: 1 Publication (2009)
Related Software: Open Inventor; OpenSceneGraph
Main Fields: Computer science (68-XX)

Weak2SC

Software Authors:   Travkin, Oleg; Wehrheim, Heike
Referenced in: 1 Publication (2016)
Related Software: GitHub; Lazy-CSeq; UMM; Checkfence; CBMC; LLVM; …
Main Fields: Computer science (68-XX)

Worker/Wrapper Transformation

Software Authors:   Peter Gammie
Referenced in: 1 Publication (2012)
Related Software: Regular Sets; Archive Formal Proofs; Myhill-Nerode; Sledgehammer; Isabelle/Isar; Isabelle/HOL; …
Main Fields: Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)

CoLiS

Software Authors:   Jeannerod, Nicolas; Marché, Claude; Treinen, Ralf
Referenced in: 0 Publications
Related Software:
Main Fields:

CPALockator

Software Authors:   Andrianov, Pavel; Mutilin, Vadim; Khoroshilov, Alexey
Referenced in: 0 Publications
Related Software:
Main Fields:

EtherTrust

Software Authors:   Grishchenko, I., Maffei, M., Schneidewind, C.
Referenced in: 0 Publications
Related Software:
Main Fields: