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

Work package leaders: