Regular Model Checking Upside-Down: An Invariant-Based Approach

Regular model checking is a technique for the verification of infinite-state systems whose configurations can be represented as finite words over a suitable alphabet. The form we are studying applies to systems whose set of initial configurations is regular, and whose transition relation is captured...

Szczegółowa specyfikacja

Opis bibliograficzny

Główni autorzy:	Javier Esparza, Michael Raskin, Christoph Welzel-Mohr
Format:	Artigo
Język:	Inglês
Wydane:	Logical Methods in Computer Science e.V. 2025-01-01
Seria:	Logical Methods in Computer Science
Hasła przedmiotowe:	computer science - distributed, parallel, and cluster computing computer science - logic in computer science
Dostęp online:	http://lmcs.episciences.org/11267/pdf
Etykiety:	Dodaj etykietę Nie ma etykietki, Dołącz pierwszą etykiete!