Login / Signup

Proving partial-correctness and invariance properties of transition-system models.

Vlad RusuGilles GrimaudMichaël Hauspie
Published in: Sci. Comput. Program. (2020)
Keyphrases
  • invariance properties
  • pattern recognition
  • probabilistic model