150 citations · 548 across the 51 of their papers we have counts for
3 papers · 1 filter
Distributed Parametric and Statistical Model Checking
Peter Bulychev, Alexandre David, Kim Guldstrand Larsen +2
Statistical Model Checking (SMC) is a trade-off between testing and formal verification. The core idea of the approach is to conduct some simulations of the system and verify if th…
Distances for Weighted Transition Systems: Games and Properties
Uli Fahrenberg, Claus Thrane, Kim G. Larsen
We develop a general framework for reasoning about distances between transition systems with quantitative information. Taking as starting point an arbitrary distance on system trac…
Stochastic Semantics and Statistical Model Checking for Networks of Priced Timed Automata
Alexandre David, Kim G. Larsen, Axel Legay +4
This paper offers a natural stochastic semantics of Networks of Priced Timed Automata (NPTA) based on races between components. The semantics provides the basis for satisfaction of…