![Formal methods / Theoretical computer science / Software engineering / Logic in computer science / Software development / Semigroup action / Refinement / Predicate transformer semantics / Program transformation / Postcondition / Finite-state machine / Formal verification Formal methods / Theoretical computer science / Software engineering / Logic in computer science / Software development / Semigroup action / Refinement / Predicate transformer semantics / Program transformation / Postcondition / Finite-state machine / Formal verification](https://www.pdfsearch.io/img/2daebedf19b2b1905d10f7624a5844a8.jpg) Date: 2012-08-02 20:33:11Formal methods Theoretical computer science Software engineering Logic in computer science Software development Semigroup action Refinement Predicate transformer semantics Program transformation Postcondition Finite-state machine Formal verification | | Requirement Enforcement by Transformation Automata Douglas R. Smith Kestrel Institute 3260 Hillview Avenue Palo Alto, CaliforniaUSAAdd to Reading ListSource URL: www.kestrel.eduDownload Document from Source Website File Size: 160,92 KBShare Document on Facebook
|