• Pushdown Model Checking above...

Treffer: Pushdown Model Checking above the Cubic Bottleneck

Title:
Pushdown Model Checking above the Cubic Bottleneck
Authors:
Balasubramanian, A. R., Chistikov, Dmitry, Majumdar, Rupak
Source:
2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) LICS Logic in Computer Science (LICS), 2025 40th Annual ACM/IEEE Symposium on. :622-635 Jun, 2025
Relation:
2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
Database:
IEEE Xplore Digital Library