Login / Signup

Dynamic GSPNs: formal definition, transformation towards GSPNs and formal verification.

Samir TiganeLaïd KahloulSouheib BaarirSamir Bourekkache
Published in: VALUETOOLS (2020)
Keyphrases
  • formal verification
  • model checking
  • model checker
  • symbolic model checking
  • dynamic environments
  • automated verification
  • data sets
  • knowledge base
  • data structure
  • functional verification