Verifying Hyperliveness

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-030-25540-4_7 ◽

2019 ◽

pp. 121-139 ◽

Author(s):

Norine Coenen ◽

Bernd Finkbeiner ◽

César Sánchez ◽

Leander Tentrup

Download Full-text