1+ ![ master branch ci] ( https://github.com/learnlib/alex/actions/workflows/ci.yml/badge.svg?branch=master )
2+ ![ version] ( https://img.shields.io/badge/version-v2.1.0-blue )
3+
14<p align =" center " >
2- <img src="backend/src/main/resources/images/logo.png" style="max-width:100 %;">
5+ <img src =" backend/src/main/resources/images/logo.png " style =" max-width :40 % ;" >
36</p >
47
58# ALEX
@@ -15,17 +18,21 @@ an automaton model (a [Mealy machine][mealy]), which represents the behavior of
1518
1619To run ALEX, install the following software on your machine:
1720
18- - [ Docker] [ docker ]
19- - [ Docker Compose] [ docker-compose ]
21+ For ** Linux / OSX**
22+ * Docker (v20.10.\* ) and
23+ * Docker Compose (v1.28.* )
24+
25+ For ** Windows 10**
26+ * Docker for Windows
2027
2128
2229## Installation
2330
2431### Production
2532
26- 1 . [ Download] ( https://github.com/LearnLib/alex/releases/latest ) the ` docker-compose.deploy. yml ` file for the latest version .
27- 2 . Run ` docker-compose -f docker-compose.deploy .yml pull ` once.
28- 3 . Run ` docker-compose -f docker-compose.deploy .yml up ` .
33+ 1 . [ Download] ( https://github.com/LearnLib/alex/releases/latest ) the ` docker-compose.alex-2.1.0. yml ` file.
34+ 2 . Run ` docker-compose -f docker-compose.alex-2.1.0 .yml pull ` once.
35+ 3 . Run ` docker-compose -f docker-compose.alex-2.1.0 .yml up ` .
29364 . Open ` 127.0.0.1 ` in a web browser to access the frontend.
3037
3138** Services**
@@ -63,7 +70,7 @@ Email: *admin@alex.example* <br>
6370Password: * admin*
6471
6572
66- ## Further links
73+ ## Further reading
6774
6875### Documentation
6976
@@ -74,8 +81,10 @@ Password: *admin*
7481### Background
7582
7683* [ Active automata learning] ( https://scholar.google.de/scholar?hl=de&q=active+automata+learning )
84+ * [ ALEX: Mixed-Mode Learning of Web Applications at Ease] ( https://link.springer.com/chapter/10.1007/978-3-319-47169-3_51 )
85+
7786
78- ### Used libraries
87+ ## Used libraries
7988
8089* [ LearnLib] [ learnlib ]
8190* [ AutomataLib] [ automatalib ]
0 commit comments