Work

SAT-Based Explicit LTL Reasoning

Year: 2015

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-319-26287-1_13

Authors: Jianwen Li, Shufang Zhu, Geguang Pu, Moshe Y. Vardi

Institutions: Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Rice University

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W1752393975

FWCI: 1.19

Cites: 40

Cited by: 28

Related to: 10