Work

Model checking C programs using F-Soft

Year: 2006

Type: conference-paper

Source: IEEE International Conference on Computer Design: VLSI in Computers and Processors (ICCD)

DOI: 10.1109/iccd.2005.77

Authors: F. Ivancic, I. Shlyakhter, A. Gupta, M.K. Ganai, V. Kahlon, Chao Wang, Zijiang Yang

Institution: Western Michigan University

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2109337044

FWCI: 9.334

Cites: 63

Cited by: 90

Related to: 10