Login / Signup

Towards verification of C# programs: A three-level approach.

Valery A. NepomniaschyIgor S. AnureevI. V. DubranovskiiAlexey V. Promsky
Published in: Program. Comput. Softw. (2006)
Keyphrases
  • real world
  • higher level
  • model checking
  • neural network
  • computer vision
  • multiscale
  • hardware designs
  • database
  • real time
  • multi agent
  • temporal logic
  • face verification
  • formal analysis
  • automatic programming