An Extended Static Checker for Modular-3
No abstract available.
Related papers
- Static analysis of aspect interaction and composition in component models GPCE 2011
- GenMC: A Model Checker for Weak Memory Models CAV 2021
- Extended Static Checking for Java PLDI 2002
- Foundations of Typestate-Oriented Programming TOPLAS 2014
- A Modular Checker for Multithreaded Programs CAV 2002
- The rIC3 Hardware Model Checker CAV 2025
- MOST-flexiPL: modular, statically typed, flexibly extensible programming language Onward! 2012
- Almost-correct specifications: a modular semantic framework for assigning confidence to warnings PLDI 2013