2nd Action Training School
Home
Program Verification using Spec#
Verifying Java Card Programs with KeY
HATS - Modeling and Analyzing of Variable Distributed Systems using ABS
Abstract Interpretation
Dynamic Frames and Automated Verification
Program Verification using VeriFast
Programme
Recent site activity
Programme
7th meeting programme
Comments
