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

Howard Barringer, Alex Groce, Klaus Havelund +1

Formal specification languages have long languished, due to the grave scalability problems faced by complete verification methods. Runtime verification promises to use formal speci…