"Don't Care" Modeling: A Logical Framework for Developing Predictive System Models
No abstract available.
Related papers
- Don't Care Words with an Application to the Automata-Based Approach for Real Addition CAV 2006
- Branch prediction and the performance of interpreters: don't trust folklore CGO 2015
- Model-driven generative framework for automated OMG DDS performance testing in the cloud GPCE 2013
- Inessential Error Entries and Their Use in LR Parser Optimization TOPLAS 1982
- Special issue on 'Logical frameworks and metalanguages' JFP 2003
- A Generic Framework to Coarse-Grain Stochastic Reaction Networks by Abstract Interpretation VMCAI 2023
- Maximal sound predictive race detection with control flow abstraction PLDI 2014
- Models Whose Checks Don't Explode CAV 1994