TUM - Chair VII - Foundations of Software Reliability and Theoretical Computer Science


		Chair for Foundations of Software Reliability and Theoretical Computer Science


	Home

	Contact

	Teaching

	People

	Publications

	Student Projects

	Research

	Tools

	Help


	Thesis Details


	Thesis:Software verification tools in practice

Software verification tools in practice

benchmark mining
case studies in automotive, embedded, avionics, and other domains
tool usability and integration into develoment process

	Status: Available
	Contact: rybal@in.tum.de