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