Verification of Automatically Generated Pattern-Based LTL Specifications

摘要

The use of property classifications and patterns, i.e., high-level abstractions that describe common behavior, have been shown to assist practitioners in generating formal specifications that can be used in formal verification techniques. The Specificatio