Cross-level Property Preservation

The overall ambition of this topic is to devise methods ensuring that properties guaranteed to hold at high-level abstractions translate to similar guarantees at concrete system levels

Topics:

• Modelbased Testing and Model Learning
• Automatic test data generation for source code
• From highlevel process algebraic security protocol models to lowlevel implementations
• Extracting models from code