Sign in

ppLTLTT : Temporal Testing for Pure-Past Linear Temporal Logic Formulae.

Shaun AzzopardiDavid LidellNir PitermanGerardo Schneider
Published in: ATVA (2023)
Keyphrases
  • linear temporal logic
  • temporal logic
  • model checking
  • bounded model checking
  • test cases
  • orders of magnitude
  • formal verification
  • general purpose
  • machine learning
  • multi agent systems