What is an example of a formal model in software development?
A dynamic model that shows state changes over time
A simple sketch of an idea
A model that validates ideas by checking if any rules are broken
A physical prototype