Bridging the Gap Between Model-Based Development and Model Checking
No abstract available.
Related papers
- Bridging the semantic gap between qualitative and quantitative models of distributed systems OOPSLA 2022
- Bridging the gap between programming languages and hardware weak memory models POPL 2019
- Aspect-Oriented Modeling: Bridging the Gap between Implementation and Design GPCE 2002
- Bridging the gap between deep learning and sparse matrix format selection PPoPP 2018
- VeriPhy: verified controller executables from verified cyber-physical system models PLDI 2018
- Bridging the gap between memory performance and massive parallelism: the critical role of programming systems innovations (keynote) ISMM 2017
- Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Translator TACAS 2023
- Bridging the Gap Between C++ and Relational Databases ECOOP 1996