Work

Formal verification of algorithms for critical systems

Year: 1993

Type: article

Source: IEEE Transactions on Software Engineering

DOI: 10.1109/32.210304

Authors: J.M. Rushby, F. von Henke

Institutions: SRI International, Universität Ulm

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funder: Newcastle University

OpenAlex ID: W2114957237

FWCI: 13.12

Cites: 30

Cited by: 94

Related to: 10