×

Found 32 Software Packages (Results 1–32)

Java PathFinder

Software Authors:   Havelund, Klaus; Pressburger, Thomas
Referenced in: 92 Publications (2000–2021)
Related Software: SPIN; Bandera; veriSoft; CUTE; DART; dSPIN; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)

veriSoft

Software Authors:   Dingel, Juergen
Referenced in: 74 Publications (2000–2021)
Related Software: Bandera; SPIN; Java PathFinder; BLAST; Eraser; SLAM; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-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)

LoLA

Software Authors:   Schmidt, Karsten; Wolf, K.
Referenced in: 25 Publications (2000–2021)
Related Software: Maria; SPIN; BPEL2PN; Meddly; Uppaal; Anteater; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

Scribble

Software Authors:   Yoshida, N.; Hu, R.; Neykova, R.; Ng, N.
Referenced in: 16 Publications (2015–2022)
Related Software: SPY; COWS; JBoss; SAVARA; LARVA; CC-Pi; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

D-Finder

Software Authors:   Bensalem, Saddek; Bozga, Marius; Nguyen, Thanh-Hung; Sifakis, Joseph
Referenced in: 15 Publications (2008–2021)
Related Software: Reo; FDR3; SOFA 2.0; Ptolemy; UNITY; SPIN; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

RacerX

Software Authors:   Engler, D., Ashcraft, K
Referenced in: 14 Publications (2008–2016)
Related Software: Eraser; RELAY; LOCKSMITH; SCRATCH; MiniSat; CHESS; …
Main Fields: Computer science (68-XX); Systems theory; control (93-XX)

GKLEE

Software Authors:   Li, G., Li, P., Sawaya, G., Gopalakrishnan, G., Ghosh, I., Rajan, S.P.
Referenced in: 9 Publications (2013–2022)
Related Software: GPUVerify; CUDA; OpenCL; Coq; GRace; GitHub; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

jCUTE

Software Authors:   Koushik Sen
Referenced in: 11 Publications (2008–2021)
Related Software: CUTE; DART; KLEE; Pex; z3; Java PathFinder; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

ISP

Software Authors:   Cormac Flanagan; Patrice Godefroid
Referenced in: 9 Publications (2008–2018)
Related Software: KLEE; SPIN; veriSoft; SpecExplorer; ConTest; Bandera; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

SACO

Software Authors:   Albert, E., Arenas, P., Flores-Montoya, A., Genaim, S., Gómez-Zamalloa, M., Martin-Martin, E., Puebla, G., Román-Díez, G.
Referenced in: 10 Publications (2014–2021)
Related Software: ABS; JCobox; Kilim; COSTABS; SPEED; KeY-ABS; …
Main Fields: Computer science (68-XX)

SYNTHESIS

Software Authors:   Autili, M.; Inverardi, P.; Navarra, A.; Tivoli, M.
Referenced in: 7 Publications (2008–2012)
Related Software: Jess; SOFA 2.0; ITACA; SyncGen; NuSMV; SPIN; …
Main Fields: Computer science (68-XX)

MARMOT

Software Authors:   Krammer, B., Bidmon, K., Müller, M.S., Resch, M.M.
Referenced in: 5 Publications (2008–2017)
Related Software: ISP; MPI-CHECK; TotalView; C-DVM; Guard; ASTREE; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

StEAM

Software Authors:   Leven, Peter; Mehler, Tilman; Edelkamp, Stefan
Referenced in: 3 Publications (2004–2011)
Related Software: SPIN; SatAbs; Zing; Bebop; Bandera; Bogor; …
Main Fields: Computer science (68-XX)

Grace

Software Authors:   Berger, E. D.; Yang, T.; Liu, T.; Novark, G.
Referenced in: 4 Publications (2011–2012)
Related Software: Multilisp; Kendo; Fortress; Atomizer; CapoOne; ReVirt; …
Main Fields: Computer science (68-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)

Alcove

Software Authors:   Olarte, Carlos; Pimentel, Elaine; Rueda, Camilo
Referenced in: 4 Publications (2018–2021)
Related Software: Quipper; HYBRID; Coq; Featherweight Java; Mezzo; Rodin
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Autolocker

Software Authors:   Mccloskey, B.; Zhou, F.; Gay, D.; Brewer, E.
Referenced in: 4 Publications (2009–2017)
Related Software: CIL; PhTM; Feather-Trace; STAMP; SNZI; Atomizer; …
Main Fields: Computer science (68-XX)

CalFuzzer

Software Authors:   Joshi, Pallavi; Naik, Mayur; Park, Chang-Seo; Sen, Koushik
Referenced in: 2 Publications (2010–2018)
Related Software: Snugglebug; Boogie; DART; Con2colic; STP; jCUTE; …
Main Fields: Computer science (68-XX)

CSPsim

Software Authors:   Brooke, Phillip J.; Paige, Richard F.; Jacob, Jeremy L.
Referenced in: 4 Publications (2007–2009)
Related Software: Eiffel; SCOOP; Circus; TCOZ; Ada95; Boogie; …
Main Fields: Computer science (68-XX)

JaVis

Software Authors:   Mehner, Katharina
Referenced in: 4 Publications (1996–2010)
Related Software: JAVAVIS
Main Fields: History and biography (01-XX); Number theory (11-XX); Associative rings and algebras (16-XX)

TASS_

Software Authors:   Verified Software Laboratory, under the direction of Stephen Siegel
Referenced in: 3 Publications (2011–2012)
Related Software: KLEE; ISP; cvc3; KLEE-FP; Bandera; Bogor; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

CIVL

Software Authors:   Siegel, S.F., et al.
Referenced in: 2 Publications (2020)
Related Software: Viper; VerCors; Threader; VeriFast; Chalice; Cascade; …
Main Fields: Computer science (68-XX)

GPUexplore

Software Authors:   Wijs A, Bošnački D.
Referenced in: 1 Publication (2016)
Related Software: GPU-PRISM; Easychair; CUDA; PRISM
Main Fields: Combinatorics (05-XX); Computer science (68-XX)

STANSE

Software Authors:   Jan Obdržálek, Jiří Slabý, Marek Trtík
Referenced in: 0 Publications
Related Software: Klocwork; FindBugs; CodeSonar
Main Fields:

Gadara

Software Authors:   Lafortune, Stéphane; Wang, Yin; Reveliotis, Spyros
Referenced in: 1 Publication (2013)
Related Software: RacerX
Main Fields: Computer science (68-XX)

Magiclock

Software Authors:   Cai, Y.; Chan, W.K.
Referenced in: 1 Publication (2017)
Related Software: AUTOSAR; Goblint; ASTREE; TinyOS
Main Fields: Computer science (68-XX)

MoonWalker

Software Authors:   Aan de Brugh, N.H.M., Nguyen, V.Y., Ruys, T.C.
Referenced in: 0 Publications
Related Software: SatAbs; Orion; Augur 2; Java PathFinder; SPIN; StEAM; …
Main Fields:

SJL

Software Authors:   Motika, Christian; von Hanxleden, Reinhard
Referenced in: 1 Publication (2015)
Related Software: Esterel; LUSTRE
Main Fields: Computer science (68-XX)

ZenoTool

Software Authors:   Rinast, J.
Referenced in: 1 Publication (2012)
Related Software: Uppaal; Kronos
Main Fields: Computer science (68-XX)

StreamFlex

Software Authors:   Spring JH, Privat J, Guerraoui R, Vitek J.
Referenced in: 0 Publications
Related Software:
Main Fields: