Proving Parameterized Systems: The Use of Pseudo-Pipelines in Polyhedral Logic
Katell Morin-Allory
◽
David Cachera
A. Flores-Perez
◽
Ileana Grave
◽
Yu Tang
2002 ◽
Vol 35
(1)
◽
pp. 463-468
◽
N.V.Q. Hung
◽
H.D. Tuan
◽
P. Apkarian
◽
T. Narikiyo
2016 ◽
Vol 51
(6)
◽
pp. 599-613
◽
Klaus v. Gleissenthall
◽
Nikolaj Bjørner
◽
Andrey Rybalchenko
Orna Grumberg
◽
Orna Kupferman
◽
Sarai Sheinvald
Orna Grumberg
◽
Orna Kupferman
◽
Sarai Sheinvald
Françoise Bellegarde
◽
Célina Charlet
◽
Olga Kouchnarenko
2021 ◽
Vol 346
◽
pp. 1-17
Javier Esparza
◽
Mikhail Raskin
◽
Christoph Welzel
Zheng Zhang
◽
Ibrahim M. Elfadel
◽
Luca Daniel
Francesco Alberti
◽
Silvio Ghilardi
◽
Elena Pagani
◽
Silvio Ranise
◽
Gian Paolo Rossi
Sylvain Conchon
◽
Amit Goel
◽
Sava Krstić
◽
Alain Mebsout
◽
Fatiha Zaïdi