Work

Faster Statistical Model Checking by Means of Abstraction and Learning

Year: 2014

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-319-11164-3_28

Authors: Ayoub Nouri, Balaji Raman, Marius Bozga, Axel Legay, Saddek Bensalem

Institutions: Centre National de la Recherche Scientifique, Verimag, Université Grenoble Alpes, 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

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W349923146

FWCI: 2.797

Cites: 33

Cited by: 29

Related to: 10