Kursinformation

This seminar is about intermediate languages and specification languages for supporting verification. The languages differ e.g., the target languages they are designed for and the available tool support.

Under the guidance of your supervisor you will

• use the given literature and search for additional literature to become acquainted with your topic,
• prepare and give a presentation about your topic and afterwards discuss the topic with the other participants,
• write a scientific report, which provides a summary of your topic.