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 Sun Dec 22 03:58:54 2024 CET.