Pages that link to "Item:Q5703755"
From MaRDI portal
The following pages link to Tools and Algorithms for the Construction and Analysis of Systems (Q5703755):
Displaying 6 items.
- Generalizing the Paige-Tarjan algorithm by abstract interpretation (Q924726) (← links)
- Combining search space partition and abstraction for LTL model checking (Q2465733) (← links)
- Incompleteness of states w.r.t. traces in model checking (Q2492186) (← links)
- What You Lose is What You Leak: Information Leakage in Declassification Policies (Q5262929) (← links)
- Deriving Bisimulations by Simplifying Partitions (Q5452714) (← links)
- A Forward-Backward Abstraction Refinement Algorithm (Q5452721) (← links)
