Treffer: Integrating Loop Acceleration Into Bounded Model Checking
Titel:
Integrating Loop Acceleration Into Bounded Model Checking / Florian Frohn, Jürgen Giesl
Beteiligt:
Veröffentlicht:
Aachen : Universitätsbibliothek der RWTH Aachen, 2024
Umfang:
1 Online-Ressource
Format:
Sprache:
Englisch
Anmerkungen:
In: 10.1007/978-3-031-71162-6_4
DOI:
10.18154/RWTH-2024-09700