Constrained Monotonic Abstraction: A CEGAR for Parameterized Verification / ABDULLA P; CHEN Y-F; G. DELZANNO; HAZIZA F; HONG C-D; REZINE A. - STAMPA. - 6269(2010), pp. 86-101.
Scheda prodotto non validato
Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo
Titolo: | Constrained Monotonic Abstraction: A CEGAR for Parameterized Verification |
Autori: | |
Data di pubblicazione: | 2010 |
Handle: | http://hdl.handle.net/11567/241120 |
ISBN: | 9783642153747 |
Appare nelle tipologie: | 02.01 - Contributo in volume (Capitolo o saggio) |
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.