Next:
Task T1.1: Abstraction
Up:
main
Previous:
Management of the project
WP1: Methods and tools
Subsections
Task T1.1: Abstraction
Task T1.2: Symbolic analysis
Efficient state-space exploration