Abstract for the ISOLA Special Session on "Industrial use of tools for Formal Analysis".

Yaron Wolfsthal

Published in: ISoLA (Preliminary proceedings) (2004)

Keyphrases

formal analysis
special session

formal methods
image and video retrieval

artificial intelligence
researchers and practitioners

invited paper
machine learning