software also potentially hardware example formal specification operational semantics observed behavior concrete system compared behavior specification executable simulatable additionally operational commands specification may amenable direct translation executable code formal specification axiomatic semantics preconditions postconditions specification may become assertions executable code verification formal verification use software tools prove properties formal specification prove formal model
Formal science Computer science Logic in computer science Formal methods