Axiomatic Methods in Non-classical Model Theory
​​Component-based Formal Verification
Formal Verification of Reconfigurable Systems