Efficient Reasoning about Executable Specifications in Coq.

Gilles Barthe Pierre Courtieu

Published in: TPHOLs (2002)

Keyphrases

formal specification
cost effective
neural network
genetic algorithm
website
video sequences
mobile robot
spatial reasoning
formal methods