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)