Decomposing software verification into off-the-shelf components: an application to CEGAR.
Saved in:
| Title: | Decomposing software verification into off-the-shelf components: an application to CEGAR. |
|---|---|
| Authors: | Beyer, Dirk1, dirk.beyer@sosy-lab.org, Haltermann, Jan2, jan.haltermann@uol.de, Lemberger, Thomas1, thomas.lemberger@sosy.ifi.lmu.de, Wehrheim, Heike2, heike.wehrheim@uol.de |
| Source: | ICSE: International Conference on Software Engineering; 2022, p536-548, 13p |
| Database: | Applied Science & Technology Source |
|
Full text is not displayed to guests.
Login for full access.
|
|
| DOI: | 10.1145/3510003.3510064 |
|---|
