Cited in
(32)- Rewriting Models of Boolean Programs
- CaRet with forgettable past
- 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
- An automata-theoretic approach to infinite-state systems
- Rule-based static analysis of network protocol implementations
- Elkhound
- Zing
- jMoped
- DiVer
- StEAM
- BRNGLR
- SLAM
- Bebop
- CCured
- RacerX
- Checkstyle
- CSSV
- CodeSurfer
- LCLint
- Privtrans
- EUFORIA
- PQL
- Computer Aided Verification
- Types and trace effects for object orientation
- Model Checking Software
- Computer Aided Verification
- Theory and practice of unparsed patterns for metacompilation
This page was built for software: MOPS
