Execution Trace Analysis Using LTL-FO ^+.

Raphaël Khoury Sylvain Hallé Omar Waldmann

Published in: ISoLA (2) (2016)

Keyphrases

evolutionary algorithm
model checking
data flow
data mining
genetic algorithm
artificial intelligence
data analysis
temporal logic