• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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

Priyanka DarkeBharti Chimdyalwar
Published in: ICSME (2023)
Keyphrases
  • reactive systems
  • model checking
  • temporal logic
  • knowledge management
  • petri net
  • database
  • database systems
  • supply chain
  • information flow