Login / Signup

From BSP routines to high-performance ones: Formal verification of a transformation case.

Jean FortinFrédéric Gava
Published in: ICCS (2010)
Keyphrases
  • formal verification
  • model checking
  • model checker
  • automated verification
  • bounded model checking
  • expert systems
  • knowledge based systems
  • test set
  • quadtree