Distributed and Predictable Software Model Checking
No abstract available.
Related papers
- Towards Distributed Software Model-Checking Using Decision Diagrams CAV 2013
- Software transactional distributed shared memory PPoPP 2009
- The Embedded Machine: Predictable, Portable Real-Time Code PLDI 2002
- The embedded machine: Predictable, portable real-time code TOPLAS 2007
- code2vec: learning distributed representations of code POPL 2019
- Verification of MPI Java programs using software model checking PPoPP 2016
- Mutatis Mutandis: Safe and predictable dynamic software updating TOPLAS 2007
- Mutatis mutandis: safe and predictable dynamic software updating POPL 2005