swMATH10117MaRDI QIDQ22086FDOQ22086
Author name not available (Why is that?)
Official website: http://web.cs.ucdavis.edu/~hchen/mops/
Cited In (26)
- 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
- Computer Aided Verification
- Elkhound
- Model Checking Software
- Bebop
- CCured
- RacerX
- Checkstyle
- CSSV
- CodeSurfer
- Types and trace effects for object orientation
- LCLint
- Privtrans
- EUFORIA
- PQL
- Computer Aided Verification
- Theory and practice of unparsed patterns for metacompilation
- CaRet with forgettable past
- Rewriting Models of Boolean Programs
This page was built for software: MOPS
