Faster Pushdown Reachability Analysis with Applications in Network Verification

Faster Pushdown Reachability Analysis with Applications in Network Verification

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