Bounded Model Checking

Was kommt danach?
Download
Slides (PDF, 116.0Kb)
Thumbnail
Open access
Author
Biere, Armin
Date
2000-10-23
Type
    Presentation
Rights / license
In Copyright - Non-Commercial Use Permitted
Permanent link
https://doi.org/10.3929/ethz-a-004242422
Publication status
published
Publisher
ETH Zurich, Department Informatik, Institut für Computersysteme
Event
Seminar "Reasoning about Large and Infinite State Systems" at the University of Freiburg, Freiburg, Germany, October 23, 2000
Subject
SYSTEMANALYSE + SYSTEMENTWICKLUNG + SYSTEMENTWURF (COMPUTERSYSTEME); SYSTEMS ANALYSIS + SYSTEMS DEVELOPMENT + SYSTEMS DESIGN (COMPUTER SYSTEMS)
Organisational unit
02641 - Institut für Computersysteme (ehem.) / Computer Systems Institute (former)
Notes
Invited talk.
More
Show all metadata
ETH Bibliography
yes
Altmetrics