Work

Diagnosing a Failed Proof in Fault-Tolerance: A Disproving Challenge Problem

Year: 2006

Type: article

Authors: Lee Pike, Paul S. Miner, Wilfredo Torres-Pomales

Institutions: Galois (United States), Langley Research Center

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1574674175

FWCI: 0.392

Cites: 25

Cited by: 2

Related to: 10