Pages that link to "Item:Q805251"
From MaRDI portal
The following pages link to The existence of refinement mappings (Q805251):
Displaying 8 items.
- On the complexity of verifying concurrent transition systems (Q6044122) (← links)
- Fair simulation (Q6044123) (← links)
- Liminf progress measures (Q6171780) (← links)
- Software Verification of Hyperproperties Beyond k-Safety (Q6487322) (← links)
- Efficient loop conditions for bounded model checking hyperproperties (Q6535341) (← links)
- A new approach for active automata learning based on apartness (Q6535565) (← links)
- Some extensions to propositional mean-value calculus: expressiveness and decidability (Q6560182) (← links)
- Towards applying the composition principle to verify a microkernel operating system (Q6567716) (← links)