Flat Model Checking for Counting LTL Using Quantifier-Free Presburger Arithmetic

Decker, Normann (Corresponding author); Pirogov, Anton (Corresponding author)

Cham : Springer International Publishing (2019)
Contribution to a book, Contribution to a conference proceedings

In: Verification, Model Checking, and Abstract Interpretation : 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings / edited by Constantin Enea, Ruzica Piskac
Page(s)/Article-Nr.: 513-534


  • UnRAVeL Research Training Group [080060]
  • Department of Computer Science [120000]
  • Chair of Computer Science 7 (Logic and Theory of Discrete Systems) [122910]