Pages that link to "Item:Q1595472"
From MaRDI portal
The following pages link to Slicing software for model construction (Q1595472):
Displayed 5 items.
- Translating Java for multiple model checkers: The Bandera back-end (Q816196) (← links)
- Feature interaction detection by pairwise analysis of LTL properties -- A case study (Q853722) (← links)
- From NuSMV to SPIN: Experiences with model checking flight guidance systems (Q883136) (← links)
- A local approach for temporal model checking of Java bytecode (Q1776379) (← links)
- Slicing techniques for verification re-use (Q2571210) (← links)