Das Projektziel ist es, ein intelligentes Lehr-Lernsystem zur individuellen Lernprozessgestaltung zu entwickeln und dieses über eine Lehr-Lernumgebung in die Biologie-Lehrerbildung zu integrieren. Durch eine enge Verzahnung fachdidaktischer und informatorischer Kompetenzen, werden dazu die Möglichkeiten und Grenzen der Nutzung formaler Methoden der Softwareverifikation in ein Tool zur Unterstützung des naturwissenschaftlichen Experimentierprozesses sowie der fachspezifischen Diagnostik untersucht.
