MOPS
From MaRDI portal
Software:22086
swMATH10117MaRDI QIDQ22086FDOQ22086
Author name not available (Why is that?)
Cited In (15)
- Types and trace effects of higher order programs
- EUFORIA: complete software model checking with uninterpreted functions
- Interprocedural and flow-sensitive type analysis for memory and type safety of C code
- Static Analysis
- Programming Languages and Systems
- Visibly linear dynamic logic
- Rule-based static analysis of network protocol implementations
- Computer Aided Verification
- Model Checking Software
- Types and trace effects for object orientation
- CaRet With Forgettable Past
- Computer Aided Verification
- Theory and practice of unparsed patterns for metacompilation
- An Automata-Theoretic Approach to Infinite-State Systems
- Rewriting Models of Boolean Programs
This page was built for software: MOPS
