Work

Using temporal logic specifications to debug parallel programs

Year: 1993

Type: article

Source: Microprocessing and Microprogramming

DOI: 10.1016/0165-6074(93)90065-s

Authors: M. Frey, A. Weininger

Institution: Technical University of Munich

Language: English

Topic: Software Testing and Debugging Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2061121702

FWCI:

Cites: 10

Cited by: 4

Related to: 10