Bounded Model Checking

was kommt danach?
Download
Text (Adobe PDF, 116.0Kb)
Thumbnail
Open access
Author
Biere, Armin
Date
2000
Type
  • Other Conference Item
Rights / license
In Copyright - Non-Commercial Use Permitted
Permanent link
https://doi.org/10.3929/ethz-a-004242422
Publication status
published
External links
Search via SFX
Editor
Eidgenössische Technische Hochschule Institut für Computersysteme Zürich
Publisher
ETH Zürich, Department Informatik, Institut für Computersysteme
Subject
SYSTEMANALYSE + SYSTEMENTWICKLUNG + SYSTEMENTWURF (COMPUTERSYSTEME); SYSTEMS ANALYSIS + SYSTEMS DEVELOPMENT + SYSTEMS DESIGN (COMPUTER SYSTEMS)
Organisational unit
02641 - Institut für Computersysteme / Computer Systems Institute
Notes
23. Oktober 2000 as an invited talk of the Seminar "Reasoning about Large and Infinite State Systems".
More
Show all metadata
ETH Bibliography
yes
Altmetrics