On Statistical Model Checking with PLASMA
Abstract
This paper surveys the main functionalities of the PLASMA statistical model checking platform developed at Inria.
Origin : Files produced by the author(s)
Loading...