Work

Simulation Trace Verification for Quantitative Constraints

Year: 2005

Type: book-chapter

Source: Kluwer Academic Publishers eBooks

DOI: 10.1007/0-306-48709-8_21

Authors: Xi Chen, Harry Hsieh, Felice Balarin, Yosinori Watanabe

Institutions: University of California, Riverside, Cadence Design Systems (United States)

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2141282415

FWCI:

Cites: 13

Cited by:

Related to: 10