swMATH10057MaRDI QIDQ22026FDOQ22026
Author name not available (Why is that?)
Official website: http://dl.acm.org/citation.cfm?id=503286
Cited In (35)
- Title not available (Why is that?)
- State of the Union: Type Inference Via Craig Interpolation
- CCured, type-safe retrofitting of legacy code
- A hybrid approach to enhancing the reliability of software
- Computer Algebra in Scientific Computing
- Extracting Zing Models from C Source Code
- A type system for static and dynamic checking of C++ pointers
- Combining model checking and testing
- Partitioned memory models for program analysis
- MiBench
- AnZenMail
- ADL
- ConTest
- Cyclone
- Insure++
- RacerX
- MOPS
- SAFECode
- CSSV
- YOGI
- Looper
- HAVOC
- Privtrans
- CATG
- CIL
- Compositional may-must program analysis: unleashing the power of alternation
- Software Model Checking: Searching for Computations in the Abstract or the Concrete
- Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors
- Con2colic
- Title not available (Why is that?)
- Unifying type checking and property checking for low-level code
- Stochastic modelling of communication protocols from source code
- Tools and Algorithms for the Construction and Analysis of Systems
- Formalizing the SAFECode type system
- Using static analysis to reduce dynamic analysis overhead
This page was built for software: CCured
