Pages that link to "Item:Q1595472"

The following pages link to Slicing software for model construction (Q1595472):

Displaying 13 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 trajectory-based strict semantics for program slicing (Q960858) (← links)
• Slicing for modern program structures: a theory for eliminating irrelevant loops (Q963331) (← links)
• Actor-based slicing techniques for efficient reduction of Rebeca models (Q988163) (← links)
• A local approach for temporal model checking of Java bytecode (Q1776379) (← links)
• Next-preserving branching bisimulation (Q2355689) (← links)
• An automatic method for the dynamic construction of abstractions of states of a formal model (Q2452756) (← links)
• Slicing techniques for verification re-use (Q2571210) (← links)
• Lazy slicing for state-space exploration (Q2637297) (← links)
• Verification of Software Product Lines with Delta-Oriented Slicing (Q3067535) (← links)
• Correctly Slicing Extended Finite State Machines (Q3297841) (← links)