Modular, Crash-Safe Refinement for ASMs with Submachines Gidon Ernsta , J¨ org Pf¨ahlera , Gerhard Schellhorna , Wolfgang Reifa a Institute

First Page		Document Content
Date: 2017-01-11 10:52:45 Formal methods Theoretical computer science Software engineering Mathematics Predicate transformer semantics Refinement Abstract state machines NC 120-cell Cover		Modular, Crash-Safe Refinement for ASMs with Submachines Gidon Ernsta , J¨ org Pf¨ahlera , Gerhard Schellhorna , Wolfgang Reifa a Institute Add to Reading List Source URL: www.isse.uni-augsburg.de Download Document from Source Website File Size: 514,01 KB Share Document on Facebook