Pages that link to "Item:Q3647254"
From MaRDI portal
The following pages link to KAT-ML: an interactive theorem prover for Kleene algebra with tests (Q3647254):
Displayed 7 items.
- KAT-ML (Q20515) (← links)
- Synchronous Kleene algebra (Q710676) (← links)
- Enabledness and termination in refinement algebra (Q923890) (← links)
- Local variable scoping and Kleene algebra with tests (Q929964) (← links)
- Using probabilistic Kleene algebra pKA for protocol verification (Q929968) (← links)
- A sketch of a dynamic epistemic semiring (Q964506) (← links)
- Automated Reasoning for Hybrid Systems — Two Case Studies — (Q3498414) (← links)