Faster Pushdown Reachability Analysis with Applications in Network Verification

Faster Pushdown Reachability Analysis with Applications in Network Verification

Content
Grafik
Authors
  • Jensen, Peter Gjøl
  • Schmid, Stefan
  • Schou, Morten Konggaard
  • Srba, Jiri
  • Vanerio, Juan
  • van Duijn, Ingo
Grafik Top
Supplemental Material
Shortfacts
Category
 Paper in Conference Proceedings or in Workshop Proceedings (Paper)
Event Title
 19th International Symposium on Automated Technology for Verification and Analysis (ATVA)
Divisions
 Communication Technologies
Subjects
 Informatik Allgemeines
Event Location
 Gold Coast, Australia
Event Type
 Conference
Event Dates
 October 2021
Date
 2021
Export
Grafik Top
Universität Wien| Fakultät für Informatik | Währinger Straße 29 | 1090 Wien | T +43-1-4277-780 01 | Imprint | Webteam
EPrints Logo
CS is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.