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 9 items.
- Generalizing the Paige-Tarjan algorithm by abstract interpretation (Q924726) (← links)
- Preservation of weak SAI's under increasing transformations with applications (Q2006770) (← 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)
- Generalized Strong Preservation by Abstract Interpretation (Q3437262) (← links)
- What You Lose is What You Leak: Information Leakage in Declassification Policies (Q5262929) (← links)
- Programming Languages and Systems (Q5308686) (← links)
- Deriving Bisimulations by Simplifying Partitions (Q5452714) (← links)
- A Forward-Backward Abstraction Refinement Algorithm (Q5452721) (← links)