golovach-ivan
golovach-ivan
## RhoLP - RhoLang Lexer/Parser **Сurrent state**: Interpreter/Web-Compliler with automatically generated front-end (lexer, parser) from BNFC has no diagnostic API and often generate non informative errors. **Idea**: NOT replace cup/jflex...
Hold **Meetup: Formal Verification aproaches for RhoLang (Europe/Ukraine)**. Explain and compare 5 different ways - **Interactive Theorem Provers** (write the specification as an independent mathematical theorem). - **Contracts** (encode the...
Collect in systematic way all academic information on topic "Formal Verification for RhoLang" in the format of a Reference Book. Chapters - Process Algebras/Calculus - Process Logics - Pi-Calculi with...
Create tutorial specialized in concurrency. Lets encode something "classic", widespread, popular, known to people. Lets encode [java.util.concurrent concurrency building blocks](https://docs.oracle.com/javase/9/docs/api/java/util/concurrent/package-summary.html). #### Plan A (good level) { [Runnable](https://docs.oracle.com/javase/9/docs/api/java/lang/Runnable.html), [Callable](https://docs.oracle.com/javase/9/docs/api/java/util/concurrent/Callable.html), [Future](https://docs.oracle.com/javase/9/docs/api/java/util/concurrent/Future.html), [Executor](https://docs.oracle.com/javase/9/docs/api/java/util/concurrent/Executor.html),...
Write FAQ with answers to questions about the topic "Formal Verification for RhoLang" - What is Formal Verification? - Formal Verification vs Testing - Formal Verification vs Type Systems -...
This is issue for Step I of #835 general task. source: [golovach-ivan/Correct-by-Construction](https://github.com/golovach-ivan/Correct-by-Construction) ## General status After 1 week of development - syntax ready 75% - logic ready 25% (CCS →...
This is a general task for combining other tasks and tracking their status. ### The main objective Develop software that is able to test the basic properties (written as Namespace...