×

Found 21 Software Packages (Results 1–21)

Jif

Software Authors:   A.C. Myers, L. Zheng, S. Zdancewic, S. Chong, N. Nystrom
Referenced in: 18 Publications (2006–2021)
Related Software: FlowFox; CAVA LTL Modelchecker; Ur/Web; CoSMed; seL4; CakeML; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

Paragon

Software Authors:   Broberg, Niklas; van Delft, Bart; Sands, David
Referenced in: 8 Publications (2010–2019)
Related Software: Jif; JRIF; Laminar; JFlow; FlowFox; JSFlow; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

TaintDroid

Software Authors:   Enck, W., Gilbert, P., Han, S., Tendulkar, V., Chun, B.-G., Cox, L.P., Jung, J., McDaniel, P., Sheth, A.N.
Referenced in: 7 Publications (2013–2020)
Related Software: Dytan; JFlow; FlowDroid; TAJ; F4F; DREBIN; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

TAJ

Software Authors:   Tripp, O., Pistoia, M., Fink, S.J., Sridharan, M., Weisman, O.
Referenced in: 7 Publications (2013–2021)
Related Software: FlowDroid; Dytan; F4F; TaintDroid; Pixy; Panorama; …
Main Fields: Computer science (68-XX)

Fable

Software Authors:   Swamy N, Corcoran BJ, Hicks M
Referenced in: 6 Publications (2011–2017)
Related Software: F*; Jif; AURA; Moat; EROS; VC3; …
Main Fields: Computer science (68-XX)

Flow Caml

Software Authors:   V. Simonet
Referenced in: 5 Publications (2009–2018)
Related Software: Jif; HLIO; Haskell; JFlow; Creol; SeLINQ; …
Main Fields: Computer science (68-XX)

Merlin

Software Authors:   Livshits VB, Nori AV, Rajamani SK, Banerjee A
Referenced in: 5 Publications (2013–2017)
Related Software: Saner; TAJ; JavaScript; GitHub; Stranger; F*; …
Main Fields: Computer science (68-XX)

Aglet

Software Authors:   Morgenstern, Jamie; Licata, Daniel R.
Referenced in: 3 Publications (2010–2017)
Related Software: Laminar; Haskell; Ynot; AURA; Agda; Paragon; …
Main Fields: Computer science (68-XX)

JSFlow

Software Authors:   Hedin, D.; Birgisson, A.; Bello, L.; Sabelfeld, A.
Referenced in: 3 Publications (2015–2017)
Related Software: FlowFox; Jif; JavaScript; node-ffi; WebKit; Node.js; …
Main Fields: Computer science (68-XX)

Laminar

Software Authors:   Roy I, Porter DE, Bond MD, McKinley KS, Witchel E
Referenced in: 4 Publications (2017–2022)
Related Software: JFlow; JRIF; Jif; Paragon; F*; Fable; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

BANANA

Software Authors:   Braghin, Chiara; Cortesi, Agostino; Filippone, Stefano; Focardi, Riccardo; Luccio, Flaminia L.; Piazza, Carla
Referenced in: 3 Publications (2003–2008)
Related Software:
Main Fields: Computer science (68-XX)

CoSMed

Software Authors:   Bauereiß, Thomas; Pesenti Gritti, Armando; Popescu, Andrei; Raimondi, Franco
Referenced in: 3 Publications (2016–2021)
Related Software: FlowFox; CAVA LTL Modelchecker; Ur/Web; Jif; seL4; CakeML; …
Main Fields: Computer science (68-XX)

LIFT

Software Authors:   Feng Qin , Cheng Wang , Zhenmin Li , Ho-seop Kim , Yuanyuan Zhou , Youfeng Wu
Referenced in: 1 Publication (2014)
Related Software: JFlow; M-Sim; SIFT; QEMU; Saner; TAJ; …
Main Fields: Computer science (68-XX)

maskVerif

Software Authors:   Barthe, G., Belaïd, S., Cassiers, G., Fouque, P.-A., Grégoire, B., Standaert, F.-X.
Referenced in: 3 Publications (2021)
Related Software: Tornado
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-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)

SIFA

Software Authors:   McComb, Tim; Wildman, Luke
Referenced in: 2 Publications (2005–2010)
Related Software:
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

CoCon

Software Authors:   Popescu, Andrei; Lammich, Peter; Hou, Ping
Referenced in: 1 Publication (2021)
Related Software: Archive Formal Proofs; FlowFox; JRIF; CAVA LTL Modelchecker; Ur/Web; CoSMed; …
Main Fields: Computer science (68-XX)

JSLINQ

Software Authors:   Balliu, M.; Liebe, B.; Schoepe, D.; Sabelfeld, A.
Referenced in: 1 Publication (2017)
Related Software: K Prover; Links; SeLINQ; F*; KJS; Ur/Web; …
Main Fields: Computer science (68-XX)

LWeb

Software Authors:   James Parker, Niki Vazou, Michael Hicks
Referenced in: 1 Publication (2021)
Related Software: Terraform; p4v; Rehearsal; Ansible
Main Fields: Computer science (68-XX)

MAC

Software Authors:   Vassena, Marco; Russo, Alejandro; Buiras, Pablo; Waye, Lucas
Referenced in: 1 Publication (2019)
Related Software:
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

Moat

Software Authors:   Sinha R, Rajamani SK, Seshia SA, Vaswani K
Referenced in: 1 Publication (2017)
Related Software: F*; Fable; EROS; VC3; Laminar; Merlin; …
Main Fields: Computer science (68-XX)