Sign in

Value Slice: A New Slicing Concept for Scalable Property Checking.

Shrawan KumarAmitabha SanyalUday P. Khedker
Published in: TACAS (2015)
Keyphrases
  • desirable properties
  • multiscale
  • artificial neural networks
  • rough sets
  • key concepts