Title: Theory and Formal Methods