Formal methods
Rodin tool
Theoretical computer science
Software engineering
Rodin
Michael Butler
B-Method
Independent Investigations Group