Searching for suitable project for your BSc. thesis/practical work/MSc. thesis? If you are interested in one of these topic and/or automated verification in general, contact us!