Login / Signup

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