FM wiki

alvis:start - [Download]

marcin (marcin@undisclosed.example.com) — 2021-10-23T17:24:16+00:00

Documentation * [Alvis Manual v. 0.13] * Alvis name origin * Getting Started with Alvis Editor * Getting Started with Alvis Compiler Examples * Communication between active agents * Communication with a passive agent * Sender-Buffer-Receiver example * [ Test models] The archive contains selected Alvis test models: * name.alvis - model XML file, * namecorrect.dot - LTS (dot format) for non-time version of the model, * nametime1correct.dot - LTS (dot format) for time ve…

alvis:alvisc-0.4.3.33_updated.zip - created

marcin (marcin@undisclosed.example.com) — 2021-10-23T17:24:03+00:00

people - [Jerzy Biernacki]

jbiernacki (jbiernacki@undisclosed.example.com) — 2021-07-26T10:05:12+00:00

Alvis Team Prof. Marcin Szpyrka Marcin Szpyrka, DSc, PhD (mszpyrka [at] agh [dot] edu [dot] pl, www) is a full professor at AGH University of Science and Technology in Krakow, Poland (Department of Applied Computer Science). He is the author of over 130 publications, from the domains of formal methods, software engineering and knowledge engineering. His fields of interest also include theory of concurrency, systems security, data mining and functional programming. He is leader of the Alvis P…

msz_2019b.png - created

marcin (marcin@undisclosed.example.com) — 2020-11-12T21:43:05+00:00

software

jbiernacki (jbiernacki@undisclosed.example.com) — 2019-11-24T19:39:43+00:00

Alvis Editor Alvis Editor is an editor for Alvis models. It supports both the design of hierarchical communication diagrams and the implementation of the code layer. To download the Editor go here. Alvis Compiler Alvis Compiler is a compiler for Alvis models to its Haskell representation. Current version is in alpha version and is under huge development. To download the Compiler go

alvis2modelchecker_v1_1_0-full.zip - created

jbiernacki (jbiernacki@undisclosed.example.com) — 2019-11-24T19:37:21+00:00

alvis2modelchecker_v1_1_0.zip - created

jbiernacki (jbiernacki@undisclosed.example.com) — 2019-11-24T18:11:16+00:00

alvis2modelchecker_v1_0_8.zip - created

jbiernacki (jbiernacki@undisclosed.example.com) — 2019-10-05T16:47:41+00:00

petrinet2modelchecker_v1_07.zip - created

jbiernacki (jbiernacki@undisclosed.example.com) — 2019-10-05T16:47:20+00:00

petrinet2modelchecker_v1_0_6.zip - created

jbiernacki (jbiernacki@undisclosed.example.com) — 2019-10-04T19:07:20+00:00

alvis:alvisc-0.4.3.27.zip - created

marcin (marcin@undisclosed.example.com) — 2018-12-16T23:15:43+00:00

petrinet2modelchecker_v1_0_5.zip - created

jbiernacki (jbiernacki@undisclosed.example.com) — 2018-11-16T22:40:58+00:00

alvis:editor - [Installing ALVIS]

ptm (ptm@undisclosed.example.com) — 2018-05-09T23:07:19+00:00

Getting Started This section gives you an overview of ALVIS, including installation, work area, file format to store Alvis model and license. Installing ALVIS A Java JRE 1.7 or higher required. ALVIS runs successfully on the most recent systems with Java installed on it. If your computer does not meet these requirements, you may not be able to use ALVIS. ALVIS home website, hosting information about current status of the project, is located a

alvis:tests.zip - created

marcin (marcin@undisclosed.example.com) — 2018-05-09T22:13:22+00:00

jbiernacki.jpg

jbiernacki (jbiernacki@undisclosed.example.com) — 2018-05-09T21:08:03+00:00

zdj_urzedowe_400_300.jpg - created

lpodolski (lpodolski@undisclosed.example.com) — 2018-05-09T18:18:28+00:00

alvis:alvis_syntax.png - created

marcin (marcin@undisclosed.example.com) — 2018-05-05T07:18:06+00:00

alvis:alviseditor-all-0.31.1.323.jar - created

marcin (marcin@undisclosed.example.com) — 2018-02-21T21:48:14+00:00

alvis:alviseditor-all-0.31.1.357.jar - created

ptm (ptm@undisclosed.example.com) — 2018-01-16T08:43:26+00:00

alvis:alvisc-0.4.3.4.zip - removed

ptm (ptm@undisclosed.example.com) — 2017-03-14T21:32:15+00:00