CCured

swMATH10057MaRDI QIDQ22026FDOQ22026

Author name not available (Why is that?)

Cited In (18)

• Title not available (Why is that?)
• State of the Union: Type Inference Via Craig Interpolation
• Formalizing the SAFECode Type System
• A hybrid approach to enhancing the reliability of software
• Compositional may-must program analysis
• Computer Algebra in Scientific Computing
• Extracting Zing Models from C Source Code
• A type system for static and dynamic checking of C++ pointers
• Software Model Checking: Searching for Computations in the Abstract or the Concrete
• Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors
• Title not available (Why is that?)
• Combining Model Checking and Testing
• Partitioned Memory Models for Program Analysis
• CCured
• 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
• Using static analysis to reduce dynamic analysis overhead

This page was built for software: CCured