| ... | ... | @@ -10,7 +10,7 @@ programs. |
|
|
|
* implementation of exemplary Elm applications
|
|
|
|
* tooling support for verification process that documents (successful) translations and SMT answers
|
|
|
|
|
|
|
|
## Schedule
|
|
|
|
## Roadmap
|
|
|
|
|
|
|
|
1. Learning Elm by developing simple example programs
|
|
|
|
2. Formalizing properties of the developed programs and creating pre- and postconditions
|
| ... | ... | |
