Here be writings, tagged as "formal-methods".