SeLINQ Software Authors: Schoepe, Daniel; Hedin, Daniel; Sabelfeld, Andrei Cited in: 2 Publications (2014–2017) Related Software: Ur/Web; K Prover; Links; JSLINQ; F*; KJS; … Main Fields: Computer science (68-XX)
CoCon Software Authors: Popescu, Andrei; Lammich, Peter; Hou, Ping Cited in: 1 Publication (2021) Related Software: Archive Formal Proofs; CoSMed; FlowFox; JRIF; CAVA LTL Modelchecker; Ur/Web; … Main Fields: Computer science (68-XX)
Fortify Software Authors: Natarajan Meghanathan Cited in: 0 Publications Related Software: – Main Fields: –
SwordDTA Software Authors: Cai, Jun; Zou, Peng; Ma, Jinxin; He, Jun Cited in: 0 Publications Related Software: Dytan; Pixy; GitHub; DART; KLEE; CUTE Main Fields: Computer science (68-XX)