Back to Results
First PageMeta Content
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


Requirement Enforcement by Transformation Automata Douglas R. Smith Kestrel Institute 3260 Hillview Avenue Palo Alto, CaliforniaUSA
Add to Reading List

Document Date: 2012-08-02 20:33:11


Open Document

File Size: 160,92 KB

Share Result on Facebook