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