most citedFormal Verification of Probabilistic SystemC Models with Statistical Model Checking

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

collaborators
Showing cs.PLShow all

2 papers · 1 filter

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…

cs.PL2017

Bounded Expectations: Resource Analysis for Probabilistic Programs

Van Chan Ngo, Quentin Carbonneaux, Jan Hoffmann

This paper presents a new static analysis for deriving upper bounds on the expected resource consumption of probabilistic programs. The analysis is fully automatic and derives symb…