Pages that link to "Item:Q5703771"
From MaRDI portal
The following pages link to Tools and Algorithms for the Construction and Analysis of Systems (Q5703771):
Displaying 10 items.
- Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation (Q434470) (← links)
- Applying abstract acceleration to (co-)reachability analysis of reactive programs (Q435977) (← links)
- Generating tests from B specifications and dynamic selection criteria (Q539227) (← links)
- Decentralized control of infinite systems (Q645050) (← links)
- A formal abstract framework for modelling and testing complex software systems (Q714878) (← links)
- Extending abstract acceleration methods to data-flow programs with numerical inputs (Q2814110) (← links)
- Association of Under-Approximation Techniques for Generating Tests from Models (Q3012965) (← links)
- Generating Tests from B Specifications and Test Purposes (Q3535370) (← links)
- Symbolic Model-based Test Selection (Q5179362) (← links)
- Coverage-based testing with symbolic transition systems (Q6536171) (← links)