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

A Pragmatic Approach to Stateful Partial Order Reduction.

Berk ÇirisciConstantin EneaAzadeh FarzanSuha Orhun Mutluergil
Published in: CoRR (2022)
Keyphrases
  • partial order reduction
  • model checking
  • petri net
  • publish subscribe
  • database systems
  • data processing
  • real time
  • preprocessing
  • data model
  • data management
  • building blocks
  • knowledge discovery
  • data collection