Work

Statistical Model Checking: An Overview

Year: 2010

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-642-16612-9_11

Authors: Axel Legay, Benoît Delahaye, Saddek Bensalem

Institutions: Institut national de recherche en sciences et technologies du numérique, Institut de Recherche en Informatique et Systèmes Aléatoires, Centre Inria de l'Université de Rennes, Centre National de la Recherche Scientifique, Université Joseph Fourier, Verimag

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W1631091010

FWCI: 10.4

Cites: 44

Cited by: 457

Related to: 10