Work

On the computation of counterexamples in compositional nonblocking verification

Year: 2020

Type: article

Source: Discrete Event Dynamic Systems

DOI: 10.1007/s10626-019-00305-w

Authors: Robi Malik, Simon Ware

Institution: University of Waikato

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W3008321852

FWCI: 0.357

Cites: 30

Cited by: 5

Related to: 10