Login / Signup

Experimental Evaluation of Statistical Model Checking Methods for Probabilistic Timing Analysis of Multiprocessor Systems.

Hai-Dang VuSebastien Le NoursSébastien Pillement
Published in: DSD (2021)
Keyphrases
  • model checking
  • temporal logic
  • formal verification
  • multiprocessor systems
  • search engine
  • belief revision
  • temporal properties
  • verification method