activity
20142018
most citedFormal Verification of Probabilistic SystemC Models with Statistical Model Checking

4 citations · 6 across the 4 of their papers we have counts for

collaborators
Showing 2018 · cs.PLShow all

1 paper · 2 filters

cs.PL2018

Verifying and Synthesizing Constant-Resource Implementations with Types

Van Chan Ngo, Mario Dehesa-Azuara, Matthew Fredrikson +1

We propose a novel type system for verifying that programs correctly implement constant-resource behavior. Our type system extends recent work on automatic amortized resource analy…