Control-flow guided clause generation for property directed reachability
| Author: | Xian Li, Klaus Schneider |
|---|---|
| URL: | https://ieeexplore.ieee.org/document/7748250 |
| DOI: | https://doi.org/10.1109/HLDVT.2016.7748250 |
| ISBN: | 978-1-5090-4270-8 |
| ISBN: | 978-1-5090-4271-5 |
| ISSN: | 2471-7827 |
| Parent Title (English): | 2016 IEEE International High Level Design Validation and Test Workshop (HLDVT) |
| Secondary publication (full text): | https://es.cs.rptu.de/publications/datarsg/LiSc16a.pdf |
| Publisher: | IEEE |
| Place of publication: | Piscataway, NJ |
| Document Type: | Conference Proceeding |
| Language: | English |
| Publication year: | 2016 |
| Year of first Publication: | 2016 |
| Release Date: | 2025/12/08 |
| Page Number: | 8 |
| First Page: | 17 |
| Last Page: | 24 |
| Faculties / Organisational entities: | RPTU in Kaiserslautern / Fachbereich Informatik / AG Robotersysteme |
| Open access state: | Grün Open-Access |
| RPTU: | Kaiserslautern |
| Created at the RPTU: | Yes |