Search

Daniel Kroening

Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs
Equivalence Checking of a Floating-Point Unit Against a High-Level C Model
The virtues of conflict: analysing modern concurrency
Safety Verification and Refutation by $k$-Invariants and $k$-Induction
Property-Driven Fence Insertion Using Reorder Bounded Model Checking

Published with Wowchemy — the free, open source website builder that empowers creators.