Cited in
(32)- Visibly linear dynamic logic
- Computer Aided Verification
- CaRet with forgettable past
- Computer Aided Verification
- Types and trace effects of higher order programs
- Types and trace effects for object orientation
- An automata-theoretic approach to infinite-state systems
- Rewriting Models of Boolean Programs
- Elkhound
- Zing
- jMoped
- DiVer
- StEAM
- BRNGLR
- SLAM
- Bebop
- CCured
- RacerX
- Checkstyle
- CSSV
- CodeSurfer
- LCLint
- Privtrans
- EUFORIA
- PQL
- Static Analysis
- Model Checking Software
- Rule-based static analysis of network protocol implementations
- EUFORIA: complete software model checking with uninterpreted functions
- Theory and practice of unparsed patterns for metacompilation
- Interprocedural and flow-sensitive type analysis for memory and type safety of C code
- Programming Languages and Systems
This page was built for software: MOPS
