You Already Know Formal Methods
The software engineer who hasn't taken a logic or formal methods course. Sure, you might not be able to build a fancy new proof tool this month, but skills you apply every day are the building blocks of formal methods. What gives? People do PhDs in formal methods after all. It's pretty common to see people asking "How do I get started in formal methods?". It's great, don't get me wrong, but I won't pretend anyone should be starting formal methods with SAW. Before we start with the next steps, let's explain what you already know. Formal methods is writing those models down and making use of them. As a formal methods user, you should be able to reuse lots of existing work to get what you need.