Bart De Smet: LINQ to Z3
RiSE
72 postsFilters
List of Episodes
E2E: Concurrent Programming with Revisions
Developers: Rise to the Challenge at RiSE4fun.com
The Verification Corner - Stepwise Refinement
Nikolai Tillmann and Aaron Shaver - Coding Duels at pexforfun.com
Madan Musuvathi and Sebastian Burckhardt - Concurrency Fuzzing with Cuzz
C9 Lectures: Yuri Gurevich - Introduction to Algorithms and Computational Complexity, 1 of…
Mark Marron - Visualizing and Understanding Heap Structure
Code Contracts and Pex: Power Charge Your Assertions and Unit Tests
Inside SPUR - A Trace-Based JIT Compiler for CIL
Margus Veanes - Rex - Symbolic Regular Expression Exploration
The Verification Corner - Loop Termination
Pagination