MGHyper: Checking Satisfiability of HyperLTL Formulas Beyond the $$\exists ^\forall ^$$∃∗∀∗ Fragment

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-030-01090-4_31 ◽

2018 ◽

pp. 521-527 ◽

Author(s):

Bernd Finkbeiner ◽

Christopher Hahn ◽

Tobias Hans

Download Full-text