Verifying Hyperliveness.

Norine Coenen Bernd Finkbeiner César Sánchez Leander Tentrup

Published in: CAV (1) (2019)

Keyphrases

model checking
machine learning
artificial intelligence
information systems
expert systems
temporal logic
open source
business process