Login / Signup

Formal Verification of Emergent Properties.

Kamal BoumazaCherif TolbaIulian Ober
Published in: Informatica (Slovenia) (2021)
Keyphrases
  • formal verification
  • model checking
  • desirable properties
  • bounded model checking
  • functional verification
  • data sets
  • automated verification
  • dynamic programming
  • object oriented
  • programming language
  • domain specific