Work

Benchmarking finite-state verifiers

Year: 2000

Type: article

Source: International Journal on Software Tools for Technology Transfer

DOI: 10.1007/s100090050038

Authors: George S. Avrunin, James C. Corbett, Matthew B. Dwyer

Institutions: University of Massachusetts Amherst, University of Hawaiʻi at Mānoa, University of Hawaii System, Kansas State University

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1990148003

FWCI:

Cites: 8

Cited by: 18

Related to: 10