Proving more properties with bounded Model checking

Conference proceeding

Open access

Peer reviewed

Mohammad Awedh and Fabio Somenzi

Lecture notes in computer science, Vol.3114, pp.96-108

CAV 2004 : computer aided verification (Boston MA, 13-17 July 2004)

2004

Abstract

Applied sciences

Computer science; control theory; systems

Exact sciences and technology

Software

Software engineering

url

https://doi.org/10.1007/978-3-540-27813-9_8View

Published (Version of record) Open

1 Record Views

Title: Proving more properties with bounded Model checking
Creators - without role: Mohammad Awedh - University of Colorado at Boulder, United States
Fabio Somenzi - University of Colorado at Boulder, United States
Publication Details: Lecture notes in computer science, Vol.3114, pp.96-108
Conference: CAV 2004 : computer aided verification (Boston MA, 13-17 July 2004)
Publisher: Springer
Identifiers: 9940033108331
Academic Unit: King Abdulaziz University
Language: English
Resource Type: Conference proceeding