Work

STeP: The Stanford Temporal Prover

Year: 1995

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/3-540-59293-8_237

Authors: Zohar Manna, Nikolaj Bjørner, Anca Browne, Edward Chang, Michael Colón, Luca Alfaro, Harish Devarajan, Arjun Kapur, Jaejin Lee, Henny Sipma, Tomás Uribe

Institution: Stanford University

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

OpenAlex ID: W2129664123

FWCI: 9.283

Cites: 29

Cited by: 144

Related to: 10