• 2014-07-18Reusable tools for formal modeling of machine code
• 2014-07-08Some Problems in Software Safety
• 2014-06-30An Efficient Model Checking Algorithm of FG-LTL
• 2014-06-25Seminars on 30th June 2014 by Hanghang Tong et al.
• 2014-06-23Rabin’s Theorem in the Concurrency Setting: A Conjecture
• 2014-06-05Program Structure-Aware Fault Localization
• 2014-06-03Intuitive Termination Proofs
• 2014-04-16Automatic Verification of Message-Passing Concurrency
• 2014-04-15An Algebraic Regular Parser Generator
• 2014-04-14How to Treat Evolutionary Algorithms as Ordinary Randomized Algorithms
• 2014-04-04NP-Complete Problems and Special Bipartite Graphs
• 2014-04-04Recent Progresses in Local Search for SAT
• 2014-03-14Model-Checking for Malware Detection
• 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