Number of items: 3.
Conference or Workshop Item (A Paper)
Finkbeiner, Bernd and Seidl, Helmut and Kovács, Máté
(2013)
Relational Abstract Interpretation for the Verification of 2-Hypersafety Properties.
Kovács, Máté and Seidl, Helmut and Finkbeiner, Bernd
(2013)
Relational abstract interpretation for the verification of 2-hypersafety properties.
Dimitrova, Rayna and Finkbeiner, Bernd and Kovács, Máté and Rabe, Markus N. and Seidl, Helmut
(2012)
Model Checking Information Flow in Reactive Systems.
This list was generated on Thu Apr 25 20:11:09 2024 CEST.