Pages that link to "Item:Q5139282"

The following pages link to SMT-based verification of data-aware processes: a model-theoretic approach (Q5139282):

Displayed 7 items.

• Model completeness, uniform interpolants and superposition calculus. (With applications to verification of data-aware processes) (Q2051565) ‎ (← links)
• Combination of uniform interpolants via Beth definability (Q2090132) ‎ (← links)
• Combined covers and Beth definability (Q2096445) ‎ (← links)
• Aligning event logs to resource-constrained \(\nu \)-Petri nets (Q2165247) ‎ (← links)
• SMT-based generation of symbolic automata (Q2182674) ‎ (← links)
• Model completeness, covers and superposition (Q2305411) ‎ (← links)
• Object-Centric Replay-Based Conformance Checking: Unveiling Desire Lines and Local Deviations (Q5870852) ‎ (← links)