Login / Signup

Verification by parts: reusing component invariant checking results.

Srobona MitraPriyankar GhoshPallab Dasgupta
Published in: IET Comput. Digit. Tech. (2012)
Keyphrases
  • verification method
  • model checking
  • learning algorithm
  • moment invariants
  • formal verification
  • databases
  • information systems
  • expert systems
  • object detection
  • invariant features
  • invariant representations