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