"Software architecture" . "Automated theorem proving" . "Programming constructs" . "Formal methods" . "Logical expressions" .