An Entry Point for Formal Methods: Specification and Analysis of Event Logs

Howard Barringer Alex Groce Klaus Havelund Margaret H. Smith

Published in: FMA (2009)

Keyphrases

formal methods
entry point
formal analysis
formal specification
artificial intelligence
data analysis
knowledge based systems
event logs
knowledge representation
knowledge management
knowledge acquisition
control flow