C32SAT: Checking C Expressions
No abstract available.
Related papers
- Satisfiability Checking Using Boolean Expression Diagrams TACAS 2001
- Abstraction of Link Structures by Regular Expressions and Abstract Model Checking of Concurrent Garbage Collection APLAS 2000
- PHALANX: parallel checking of expressive heap assertions ISMM 2010
- Static Analysis for Checking the Disambiguation Robustness of Regular Expressions PLDI 2024
- A co-contextual formulation of type rules and its application to incremental type checking OOPSLA 2015
- Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types ESOP 2020
- Utilizing Symmetry when Model-Checking under Fairness Assumptions: An Automata-Theoretic Approach TOPLAS 1997
- Manifest Contracts with Intersection Types APLAS 2019