Generating Diagnostic Information for Behavioral Preorders
Abstract elided by the publisher.
Related papers
- Diagnostic Information for Realizability VMCAI 2008
- Diagnostic Information for Control-Flow Analysis of Workflow Graphs (a.k.a. Free-Choice Workflow Nets) TACAS 2016
- A Game for Linear-time-Branching-time Spectroscopy TACAS 2021
- Efficient Diagnostic Generation for Boolean Equation Systems TACAS 2000
- Semantic Errors - Diagnosis and Repair PLDI 1982
- Target-Sensitive Construction of Diagnostic Programs for Procedure Calling Sequence Generators PLDI 1996
- Checking for CFFD-Preorder with Tester Processes TACAS 2000
- Using Compositional Preorders in the Verification of Sliding Window Protocal CAV 1997