Ada verification using existing tools.

John McHugh Karl A. Nyberg

Published in: ACM SIGSOFT Softw. Eng. Notes (1985)

Keyphrases

formal methods
user friendly
software tools
real world
data mining
multiscale
model checking
visualization tools
formal verification
learning algorithm
artificial intelligence
open source
distributed systems
building blocks
computational tools