Login / Signup

Formal Verification of Three-Valued Digital Waveforms.

Nina Yu. KutsakVladislav V. Podymov
Published in: Autom. Control. Comput. Sci. (2020)
Keyphrases
  • formal verification
  • model checking
  • model checker
  • bounded model checking
  • automated verification
  • symbolic model checking
  • program slicing
  • data sets
  • expert systems
  • dynamical systems
  • nonmonotonic logics