Fingerprint
Dive into the research topics of 'JCWIT: A Correctness-Witness Validator for Java Programs based on Bounded Model Checking'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
JCWIT: A Correctness-Witness Validator for Java Programs based on Bounded Model Checking
Zaiyu Cheng, Tong Wu, Peter Schrammel, Norbert Tihanyi, Eddie B. de Lima Filho, Lucas Cordeiro
Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review