Program Monitoring with LTL in EAGLE.

Howard Barringer Allen Goldberg Klaus Havelund Koushik Sen

Published in: IPDPS (2004)

Keyphrases

temporal logic
monitoring system
model checking
real time
computer programs
bounded model checking
artificial intelligence
program execution
social networks
information systems
high level
computer science
test cases
static analysis
formal verification