The following pages link to Andrey Rivkin (Q315290):
Displaying 9 items.
- Model checking Petri nets with names using data-centric dynamic systems (Q315291) (← links)
- 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)
- Data and process resonance. Identifier soundness for models of information systems (Q2165251) (← links)
- From model completeness to verification of data aware processes (Q2185467) (← links)
- Model completeness, covers and superposition (Q2305411) (← links)
- SMT-based verification of data-aware processes: a model-theoretic approach (Q5139282) (← links)
- Correctness Notions for Petri Nets with Identifiers (Q6189321) (← links)
