-
Notifications
You must be signed in to change notification settings - Fork 6
Examples
marcel.dausend edited this page Feb 19, 2014
·
4 revisions
Leader Election Example, a nice CoreASM example of using ASM for highlevel specification, refinement, and correctness proof of the refinement, done by Julian Lettner.
Home | Getting Started | CoreASM Development | FAQ | Copyright © 2012-2014 the CoreASM Team
CoreASM
For Users
For Developers
About CoreASM