Going with the Flow: Parameterized Verification Using Message Flows
Murali Talupur
◽
Mark R. Tuttle
2018 ◽
Vol 19
(4)
◽
pp. 1-25
◽
Yongjian Li
◽
Kaiqiang Duan
◽
David N. Jansen
◽
Jun Pang
◽
Lijun Zhang
◽
...
A. R. Balasubramanian
◽
Nathalie Bertrand
◽
Nicolas Markey
Arnaud Sangnier
◽
Nathalie Sznajder
◽
Maria Potop-Butucaru
◽
Sebastien Tixeuil
Yongjian Li
◽
Jialun Cao
◽
Jun Pang
2018 ◽
Vol 30
(3-4)
◽
pp. 463-489
Raphaël Chane-Yack-Fa
◽
Marc Frappier
◽
Amel Mammar
◽
Alain Finkel
2016 ◽
Vol 18
(5)
◽
pp. 475-493
◽
Sergio Feo-Arenis
◽
Bernd Westphal
Ping Yang
◽
Samik Basu
◽
C. R. Ramakrishnan
Javier Esparza
◽
Pierre Ganty
◽
Rupak Majumdar