×

Found 2 Software Packages (Results 1–2)

ExplicitPRISMSymm

Software Authors:   Patel, Reema; Patel, Kevin; Patel, Dhiren
Cited in: 2 Publications (2015)
Related Software: PRISM
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

Weak2SC

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