Bounded Model Checking
ETH Zurich · Istituto Centrale per la Ricerca Scientifica e Tecnologica Applicata al Mare · +3 more institutions
Indexed incrossref
Abstract
No abstract available for this paper.
Citation impact
954
total citations
- FWCI
- 22.70
- Percentile
- 100%
- References
- 95
Citations per year
Authors
5- ABArmin BiereCorresponding
ETH Zurich
- ACAlessandro CimattiCorresponding
ETH Zurich, Istituto Centrale per la Ricerca Scientifica e Tecnologica Applicata al Mare
- EMEdmund M. ClarkeCorresponding
Carnegie Mellon University
- OSOfer StrichmanCorresponding
Carnegie Mellon University
- YZYunshan ZhuCorresponding
Synopsys (Switzerland), Synopsys (United States)
Topics & keywords
Topics
Keywords
- Model checking
- Binary decision diagram
- Computer science
- Bounded function
- Bottleneck
- Formal equivalence checking
- Abstraction model checking
- Symbolic trajectory evaluation
UN Sustainable Development Goals
- Industry, innovation and infrastructure
No related works found for this paper.