The following pages link to (Q5486061):
Displaying 6 items.
- Security invariants in discrete transition systems (Q1941889) (← links)
- Algorithmic probabilistic game semantics. Playing games with automata (Q2248076) (← links)
- Improved Bounded Model Checking for a Fair Branching-Time Temporal Epistemic Logic (Q3003427) (← links)
- Specification and Verification of Multi-Agent Systems (Q3166991) (← links)
- Revisiting Satisfiability and Model-Checking for CTLK with Synchrony and Perfect Recall (Q3393383) (← links)
- Program semantics and verification technique for AI-centred programs (Q6174548) (← links)