Work

Distributed bounded model checking

Year: 2022

Type: article

Source: Formal Methods in System Design

DOI: 10.1007/s10703-021-00385-1

Authors: Prantik Chatterjee, Subhajit Roy, Bui Phi Diep, Akash Lal

Institutions: Indian Institute of Technology Kanpur, Uppsala University, Microsoft (United States), Microsoft Research (India)

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W3025359815

FWCI: 1.258

Cites: 38

Cited by: 9

Related to: 10