OLA: Property Directed Outer Loop Abstraction for Efficient Verification of Reactive Systems.

Priyanka Darke Bharti Chimdyalwar

Published in: ICSME (2023)

Keyphrases

reactive systems
model checking
temporal logic
knowledge management
petri net
database
database systems
supply chain
information flow