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

Published in: ISoLA (Preliminary proceedings) (2004)

Keyphrases

formal analysis
special session
formal methods
image and video retrieval
databases
high level
low level
object oriented
agent model
ban logic
computational intelligence