scientific article; zbMATH DE number 2087570
From MaRDI portal
Publication:4738390
zbMath1051.68756MaRDI QIDQ4738390
Westley Weimer, George C. Necula, Scott McPeak, Shree P. Rahul
Publication date: 11 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2304/23040213.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (29)
Improving Generalization in Software IC3 ⋮ Formal verification of C systems code. Structured types, separation logic and theorem proving ⋮ Verification by gambling on program slices ⋮ Strategies for scalable symbolic execution-driven test generation for programs ⋮ Generating C. System description ⋮ Mechanized semantics for the clight subset of the C language ⋮ A formally verified compiler back-end ⋮ A principled, complete, and efficient representation of C++ ⋮ Continuation-passing C, compiling threads to events through continuations ⋮ Block-Wise Abstract Interpretation by Combining Abstract Domains with SMT ⋮ Symbolic predictive analysis for concurrent programs ⋮ Automated verification of functional correctness of race-free GPU programs ⋮ Formal verification of numerical programs: from C annotated programs to mechanical proofs ⋮ \textsc{InterAspect}: aspect-oriented instrumentation with GCC ⋮ Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning ⋮ Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions ⋮ Adaptive locks: combining transactions and locks for efficient concurrency ⋮ Connecting Program Synthesis and Reachability: Automatic Program Repair Using Test-Input Generation ⋮ Compositional Synthesis of Leakage Resilient Programs ⋮ Code aware resource management ⋮ Experience of improving the BLAST static verification tool ⋮ Inferring Effective Types for Static Analysis of C Programs ⋮ Rule-based static analysis of network protocol implementations ⋮ Extending Model Checking with Dynamic Analysis ⋮ Region Analysis for Race Detection ⋮ Optimizing Pointer Analysis Using Bisimilarity ⋮ Quantitative static analysis of communication protocols using abstract Markov chains ⋮ Compiler-based attack origin tracking with dynamic taint analysis ⋮ Stochastic Modelling of Communication Protocols from Source Code
Uses Software
This page was built for publication:
