Recent site activity

Jun 3, 2011, 11:35 AM Richard Bubel edited HATS - Modeling and Analyzing of Variable Distributed Systems using ABS
Jun 3, 2011, 11:33 AM Richard Bubel edited Modeling and Analyzing of Variable Distributed Systems using ABS
Jun 3, 2011, 11:31 AM Richard Bubel created Modeling and Analyzing of Variable Distributed Systems using ABS
May 26, 2011, 7:59 AM Vladimir Klebanov edited Home
May 26, 2011, 7:24 AM Vladimir Klebanov edited Verifying Java Card Programs with KeY
May 26, 2011, 7:22 AM Vladimir Klebanov edited Dynamic Frames and Automated Verification
May 26, 2011, 7:21 AM Vladimir Klebanov edited Dynamic Frames and Automated Verification
May 25, 2011, 4:38 PM Bernhard Beckert edited Verifying Java Card Programs with KeY
May 25, 2011, 4:37 PM Bernhard Beckert edited Dynamic Frames and Automated Verification
May 25, 2011, 4:37 PM Bernhard Beckert edited Welcome
May 25, 2011, 4:35 PM Bernhard Beckert edited Welcome
May 25, 2011, 4:33 PM Bernhard Beckert edited Program Verification using VeriFast
May 25, 2011, 4:33 PM Bernhard Beckert edited Welcome
May 24, 2011, 7:39 AM Vladimir Klebanov edited Welcome
May 24, 2011, 7:22 AM Vladimir Klebanov edited Welcome
May 24, 2011, 7:13 AM Vladimir Klebanov edited Program Verification using VeriFast
May 24, 2011, 7:13 AM Vladimir Klebanov created Program Verification using VeriFast
May 24, 2011, 7:13 AM Vladimir Klebanov deleted rogram Verification using VeriFast
May 24, 2011, 7:13 AM Vladimir Klebanov edited rogram Verification using VeriFast
May 24, 2011, 7:13 AM Vladimir Klebanov created rogram Verification using VeriFast
May 24, 2011, 7:12 AM Vladimir Klebanov edited Program Verification using Spec#
May 24, 2011, 7:12 AM Vladimir Klebanov created Program Verification using Spec#
May 24, 2011, 7:11 AM Vladimir Klebanov edited Verifying Java Card Programs with KeY
May 24, 2011, 7:11 AM Vladimir Klebanov created Verifying Java Card Programs with KeY
May 24, 2011, 7:10 AM Vladimir Klebanov edited Dynamic Frames, Dafny, Implicit Dynamic Frames, and Chalice