LTL falsification in infinite-state systems.

Alessandro Cimatti Alberto Griggio Enrico Magnago

Published in: Inf. Comput. (2022)

Keyphrases

complex systems
real time
computer systems
systems require
database
databases
neural network
real world
information retrieval
information technology
search space
distributed systems
building blocks