Found results (3):

Software accompanying paper: Refinement of Parallel Algorithms down to LLVM
Posted on 2022-07-19T11:25:10
Artifact for the Paper "Fast Verified SCCs for Probabilistic Model Checking"
Posted on 2023-10-31T13:17:05
Supplementary material for publication "Analysis of a Clock Synchronization Protocol for Wireless Sensor Networks"
Posted on 2014-07-17T00:00:00