Naviga IRIS

Sfoglia per Rivista FORMAL METHODS IN SYSTEM DESIGN

Ordina per:

In ordine:

Risultati/Pagina

Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

o inserisci le iniziali:

Mostrati risultati da 1 a 7 di 7

2014-01-01 Alberti, F.; Bruttomesso, R.; Ghilardi, S.; Ranise, Silvio; Sharygina, N.

2021-01-01 Griggio, Alberto; Roveri, Marco; Tonetta, Stefano

2013-01-01 Martin, Brain; Vijay, D’Silva; Griggio, Alberto; Leopold, Haller; Daniel, Kroening

2021-01-01 Cimatti, Alessandro; Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Tonetta, Stefano

2007-01-01 Sebastiani, Roberto; Eli, Singerman; Tonetta, Stefano; Moshe, Vardi

2016-01-01 Cimatti, Alessandro; Griggio, Alberto; Mover, Sergio; Tonetta, Stefano

2014-01-01 Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano

Titolo	Data di pubblicazione	Autore(i)
An extension of lazy abstraction with interpolation for programs with arrays	1-gen-2014	Alberti, F.; Bruttomesso, R.; Ghilardi, S.; Ranise, Silvio; Sharygina, N.
Certifying proofs for SAT-based model checking	1-gen-2021	Griggio, Alberto; Roveri, Marco; Tonetta, Stefano
Deciding floating-point logic with abstract conflict driven clause learning	1-gen-2013	Martin, Brain; Vijay, D’Silva; Griggio, Alberto; Leopold, Haller; Daniel, Kroening
Extended bounded response LTL: a new safety fragment for efficient reactive synthesis	1-gen-2021	Cimatti, Alessandro; Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Tonetta, Stefano
GSTE is partitioned model checking	1-gen-2007	Sebastiani, Roberto; Eli, Singerman; Tonetta, Stefano; Moshe, Vardi
Infinite-state invariant checking with IC3 and predicate abstraction	1-gen-2016	Cimatti, Alessandro; Griggio, Alberto; Mover, Sergio; Tonetta, Stefano
Quantifier-free encoding of invariants for hybrid systems	1-gen-2014	Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano

Mostrati risultati da 1 a 7 di 7