{{:alvis-logo.png?150|}}

====== Documentation ======

  * {{ :alvis:alvis-manual.pdf |Alvis Manual v. 0.13}}
  * [[:alvis:name|Alvis name origin]]
  * [[:alvis:editor|Getting Started with Alvis Editor]]
  * [[:alvis:compiler|Getting Started with Alvis Compiler]]

====== Examples ======

  - [[alvis:active2|Communication between active agents]]
  - [[alvis:active2passive1|Communication with a passive agent]]
  - [[alvis:sbrexample|Sender-Buffer-Receiver example]]
  - {{ :alvis:tests.zip | 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 version of the model (default duration function),
    * nametimemixcorrect.dot - LTS (dot format) for time version of the model (user defined duration function - see duration.hs).

====== Download ======

  * {{ :alvis:alviseditor-all-0.31.1.323.jar |}}
  * {{ :alvis:alvisc-0.4.3.13.zip |Alvis Compiler v. 0.4.3.13}}
  * {{ :alvis:alvisc-0.4.3.27.zip |Alvis Compiler v. 0.4.3.27}}
  * {{ :alvis:alvisc-0.4.3.33_updated.zip |Alvis Compiler v. 0.4.3.33}}

====== Reference Card ======

{{ :alvis:alvis_syntax.png?700 |}}