SEQ.OPEN: A Tool for Efficient Trace-Based Verification.

Hubert Garavel Radu Mateescu

Published in: SPIN (2004)

Keyphrases

cost effective
real time
software tools
database
image processing
website
high level
data analysis
evolutionary algorithm
lightweight