Biased Model Checking Using Flows
No abstract available.
Related papers
- Analysis of Secure Information Flow by Model-Checking APLAS 2001
- Data-Flow Analysis as Model Checking Within the jABC CC 2006
- Model Checking Information Flow in Reactive Systems VMCAI 2012
- Eliminating synchronization-related atomic operations with biased locking and bulk rebiasing OOPSLA 2006
- Data Flow Analysis is Model Checking of Abstract Interpretations POPL 1998
- A foundation for flow-based program matching: using temporal logic and model checking POPL 2009
- TorchQL: A Programming Framework for Integrity Constraints in Machine Learning OOPSLA 2024
- A calculus for modeling and implementing variation GPCE 2012