Work

Dara: hybrid model checking of distributed systems

Year: 2018

Type: conference-paper

Source: ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)

DOI: 10.1145/3236024.3275438

Author: Vaastav Anand

Institution: University of British Columbia

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2899457331

FWCI:

Cites: 21

Cited by: 2

Related to: 10