Work

System Level Formal Verification via Model Checking Driven Simulation

Year: 2013

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-642-39799-8_21

Authors: Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Fabio Merli, Enrico Tronci

Institution: Sapienza University of Rome

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W98354153

FWCI: 5.434

Cites: 46

Cited by: 48

Related to: 10