Refined Modularization for Bounded Model Checking Through Precondition Generation

Autor:	Marko Kleine Büning, Johannes Meuer, Carsten Sinz
Rok vydání:	2022
Zdroj:	Formal Methods and Software Engineering ISBN: 9783031172434
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::3a56da116dadd96417cd37807fdca0dd https://doi.org/10.1007/978-3-031-17244-1_13 Zobrazit plný text záznamu