AKT ainega seotud lõputöö teemad

• Eetikatestide uurmine ja arendamine
• CMa teegi laiendamine funktsioonidega
• AKT keelest LLVM baitkoodi genereerimine
• CMa simulaatori (VAM) veebiversiooni loomine
• AKT keelele lisada turvalise andmevoo tüübid

Silmaringimaterjalid AKT või Tarkvara turvalisuse kursuse jaoks: automaatverifitseerijate demode loomine. AKT keele jaoks implementeerida lihtsustatud versioon SV-COMP töövahenditest:

• Automata-based Model Checking (Ultimate Automizer)
• Predicate Abstraction (CPAchecker)
• Symbolic Execution (Symbiotic)