Jakobs, Marie-Christine

1. PEQcheck: Localized and Context-aware Checking of Functional Equivalence (Technical Report)
   2021/01/22 by Jakobs, Marie-Christine · 1 citation
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)
2. Software Verification with CPAchecker 3.0: Tutorial and User Guide (Extended Version)
   2024/09/03 by Baier, Daniel, Beyer, Dirk, Chien, Po-Chun +8 · 1 citation
   #D.2.4 #D.3.1 #F.3.1 #F.4.3 #FOS: Computer and information sciences #Programming Languages (cs.PL) #Software Engineering (cs.SE)