Login / Signup

An abstraction refinement approach combining precise and approximated techniques for efficient program verification: abstract for the invited talk.

Natasha SharyginaStefano TonettaAliaksei Tsitovich
Published in: SAVCBS (2009)
Keyphrases
  • invited talk
  • high level
  • metadata
  • higher level
  • data streams
  • low level
  • knowledge discovery and data mining
  • abstraction hierarchy