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

Formal Verification of Rewriting Rules for Dynamic Fault Trees.

Yassmeen ElderhalliMatthias VolkOsman HasanJoost-Pieter KatoenSofiène Tahar
Published in: SEFM (2019)
Keyphrases
  • formal verification
  • rewriting rules
  • model checking
  • rewrite rules
  • sparql queries
  • artificial intelligence
  • data structure
  • tree structure