Pages that link to "Item:Q5703797"
From MaRDI portal
The following pages link to Tools and Algorithms for the Construction and Analysis of Systems (Q5703797):
Displaying 9 items.
- Multi-parameterised compositional verification of safety properties (Q498394) (← links)
- Lost in abstraction: monotonicity in multi-threaded programs (Q729809) (← links)
- Formally verified algorithms for upper-bounding state space diameters (Q1663245) (← links)
- Parameterized verification of monotone information systems (Q1798673) (← links)
- Finite verification of the characteristic specification of discrete systems (Q2367870) (← links)
- Verifying of interface assertions for infinite state Mealy machines (Q2453549) (← links)
- Formal Verification of Infinite-State BIP Models (Q3460575) (← links)
- Generalization strategies for the verification of infinite state systems (Q5299583) (← links)
- A local search approach to protocol verification (Q6589831) (← links)