A Component-Based Approach to Building Formal Analysis Tools.

Kurt Stirewalt Laura K. Dillon

Published in: ICSE (2001)

Keyphrases

formal analysis
formal methods
software components
agent model
software tools
end users
data mining
machine learning
database systems
user friendly