Engineering Hoare Logic-Based Program Verification in K Framework.

Andrei Arusoaie

Published in: SYNASC (2013)

Keyphrases

knowledge representation
knowledge base
real time
learning algorithm
evolutionary algorithm
feature selection
main contribution
theoretical framework
neural network
computer vision
information systems
case study
three dimensional
computer science
engineering design
computational framework