The following pages link to (Q4494380):
Displayed 5 items.
- Application of static analyses for state-space reduction to the microcontroller binary code (Q617924) (← links)
- State space reduction for process algebra specifications (Q820124) (← links)
- On partial state matching (Q1682284) (← links)
- Abstract interpretation of microcontroller code: intervals meet congruences (Q2442953) (← links)
- State Space Reduction of Linear Processes Using Control Flow Reconstruction (Q3648690) (← links)