The following pages link to (Q3765231):
Displaying 10 items.
- SAT-based verification for timed component connectors (Q433331) (← links)
- Fair testing (Q865623) (← links)
- Using probabilistic Kleene algebra pKA for protocol verification (Q929968) (← links)
- Partial specifications and compositional verification (Q1177172) (← links)
- An algebraic verification of a mobile network (Q1205185) (← links)
- Modular specification of process algebras (Q1802074) (← links)
- Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol (Q2225593) (← links)
- (Q4417864) (← links)
- (Q4449205) (← links)
- Deciding bisimulation equivalences for a class of non-finite-state programs (Q5096175) (← links)