Model checking of distributed systems with affine data structures

Autor:	Natalya Olegovna Garanina
Rok vydání:	2011
Předmět:	Model checking Theoretical computer science Control and Systems Engineering Computer science Distributed computing Signal Processing Symbolic trajectory evaluation Affine transformation Abstraction model checking Data structure Software Integer (computer science)
Zdroj:	Automatic Control and Computer Sciences. 45:397-401
ISSN:	1558-108X 0146-4116
DOI:	10.3103/s0146411611070078
Popis:	A new data structure is suggested for symbolic model checking of distributed systems defined by linear functions of integer variables.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::b356b570b9945d8da4168d4ce7531042 https://doi.org/10.3103/s0146411611070078 Zobrazit plný text záznamu Full text from SpringerLink