- 2014-03-13Handcrafted Coq Inversions Made Operational on Operational Semantics
- 2014-03-03Validity Check of Putback Transformations in Bidirectional Programming
- 2013-12-17Proofs, upside down: a functional correspondence between natural deduction and the sequent calculus
- 2013-11-26When is a formula invariant?
- 2013-11-21Towards model checking the hardware description language BSV
- 2013-11-18Rule Formats for Structural Operational Semantics: A Very Short Introduction
- 2013-11-14Symbolic-Numeric Algorithms for Verified Computations
- 2013-11-11Modular Construction of Shape-Numeric Analyzers
- 2013-10-25Small Bug, Big Bang
- 2013-10-24The Parameterized Complexity of Counting k-Matchings
- 2013-10-11Automatic Generation of Program Invariants from Traces
- 2013-10-09Three Lectures on Model Checking
- 2013-09-09Automatic Testing-Based Formal Verification: Bridging Testing and Formal Verification for Program Correctness
- 2013-08-29Mu and mu tilde: two useful combinators
- 2013-08-22Mathematics and Physics Foundation for Digital Medicine in Virtual Environments
- 2013-08-21On Two Challenging Problems in Statistical Debugging
- 2013-08-05Advances in symbolic model checking for multi-agent systems
- 2013-07-17Program debugging with effective software fault localization
- 2013-07-17Uniform Monte Carlo Model Checking
- 2013-07-10Model-Checking Iterated Games