Work

Case studies of model checking for embedded system designs

Year: 2004

Type: conference-paper

Source: International Conference on Application of Concurrency to System Design (ACSD)

DOI: 10.1109/csd.2003.1207696

Authors: Xi Chen, H. Hsieh, F. Balarin, Y. 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: W2139469807

FWCI: 1.495

Cites: 18

Cited by: 11

Related to: 10