ExplicitPRISMSymm Cited in 2 Documents (2015) Software Authors: Patel, Reema; Patel, Kevin; Patel, Dhiren Related Software: PRISM Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
Weak2SC Cited in 1 Document (2016) Software Authors: Travkin, Oleg; Wehrheim, Heike Related Software: LLVM; GitHub; Lazy-CSeq; … Main Fields: Computer science (68-XX)