Title | Automated Debugging of Missing Assumptions |
Author | Brian Keng (Univ. of Toronto, Canada), Evean Qin (Vennsa Technologies, Canada), *Andreas Veneris, Bao Le (Univ. of Toronto, Canada) |
Page | pp. 732 - 737 |
Detailed information (abstract, keywords, etc) | |
Slides |
Title | Property Directed Reachability for QF_BV with Mixed Type Atomic Reasoning Units |
Author | *Tobias Welp (Univ. of California, Berkeley, U.S.A.), Andreas Kuehlmann (Coverity/Univ. of California, Berkeley, U.S.A.) |
Page | pp. 738 - 743 |
Detailed information (abstract, keywords, etc) | |
Slides |
Title | Adaptive Interpolation-Based Model Checking |
Author | *Chien-Yu Lai, Cheng-Yin Wu, Chung-Yan (Ric) Huang (National Taiwan Univ., Taiwan) |
Page | pp. 744 - 749 |
Detailed information (abstract, keywords, etc) | |
Slides |
Title | Efficient Parallel GPU Algorithms for BDD Manipulation |
Author | *Miroslav Velev, Ping Gao (Aries Design Automation, U.S.A.) |
Page | pp. 750 - 755 |
Detailed information (abstract, keywords, etc) |