1 research outputs found
On Statistical Model Checking with PLASMA
No full textInternational audienceThis paper surveys the main functionalities of the PLASMA statistical model checking platform developed at Inria
No full text1 research outputs found
No full text