CIL

swMATH26691MaRDI QIDQ38420FDOQ38420

Author name not available (Why is that?)

Cited In (32)

• \textsc{InterAspect}: aspect-oriented instrumentation with GCC
• High-fidelity C/C++ code transformation
• A formally verified compiler back-end
• Code2Inv: a deep learning framework for program verification
• Symbolic computation via program transformation
• Quantitative static analysis of communication protocols using abstract Markov chains
• Automated verification of functional correctness of race-free GPU programs
• Formal verification of C systems code. Structured types, separation logic and theorem proving
• Inferring Effective Types for Static Analysis of C Programs
• Compositional Sequentialization of Periodic Programs
• Connecting Program Synthesis and Reachability: Automatic Program Repair Using Test-Input Generation
• Symbolic predictive analysis for concurrent programs
• Compositional Synthesis of Leakage Resilient Programs
• Experience of improving the BLAST static verification tool
• Verification by gambling on program slices
• Rule-based static analysis of network protocol implementations
• Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning
• Block-Wise Abstract Interpretation by Combining Abstract Domains with SMT
• Adaptive locks: combining transactions and locks for efficient concurrency
• Continuation-passing C, compiling threads to events through continuations
• Generating C. System description
• Compiler-based attack origin tracking with dynamic taint analysis
• Title not available (Why is that?)
• Strategies for scalable symbolic execution-driven test generation for programs
• Optimizing Pointer Analysis Using Bisimilarity
• A principled, complete, and efficient representation of C++
• Improving Generalization in Software IC3
• Mechanized semantics for the clight subset of the C language
• Stochastic modelling of communication protocols from source code
• Formal verification of numerical programs: from C annotated programs to mechanical proofs
• Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions
• Title not available (Why is that?)

This page was built for software: CIL