CCured
From MaRDI portal
Software:22026
No author found.
Related Items (18)
CCured ⋮ Combining Model Checking and Testing ⋮ Tools and Algorithms for the Construction and Analysis of Systems ⋮ Unnamed Item ⋮ Formalizing the SAFECode Type System ⋮ Partitioned Memory Models for Program Analysis ⋮ Unnamed Item ⋮ Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors ⋮ Computer Algebra in Scientific Computing ⋮ A type system for static and dynamic checking of C++ pointers ⋮ Software Model Checking: Searching for Computations in the Abstract or the Concrete ⋮ A hybrid approach to enhancing the reliability of software ⋮ State of the Union: Type Inference Via Craig Interpolation ⋮ Extracting Zing Models from C Source Code ⋮ Compositional may-must program analysis ⋮ Unifying type checking and property checking for low-level code ⋮ Stochastic Modelling of Communication Protocols from Source Code ⋮ Using static analysis to reduce dynamic analysis overhead
This page was built for software: CCured
