research
∙
01/05/2018
Verifying and Synthesizing Constant-Resource Implementations with Types
We propose a novel type system for verifying that programs correctly imp...
share
research
∙
12/04/2017
Formal Verification of Probabilistic SystemC Models with Statistical Model Checking
Transaction-level modeling with SystemC has been very successful in desc...
research
∙
11/24/2017
