From 5ae595ab8e715468fd185497353c80cdf24bf8e6 Mon Sep 17 00:00:00 2001 From: Luca Di Stefano Date: Tue, 17 Nov 2020 22:43:45 +0100 Subject: [PATCH 1/2] Fix MCL query --- cadp/fairly.mcl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/cadp/fairly.mcl b/cadp/fairly.mcl index 09e9fbd..55eb9c6 100644 --- a/cadp/fairly.mcl +++ b/cadp/fairly.mcl @@ -1,4 +1,4 @@ library standard.mcl end_library -FAIRLY("MONITOR !TRUE" or "MONITOR !\"deadlock\"") +FAIRLY("MONITOR !TRUE" or "MONITOR !\"spurious\"") From b27079d859d8344364eee6e6a1bc20daa54334dc Mon Sep 17 00:00:00 2001 From: Luca Di Stefano Date: Tue, 9 Feb 2021 16:31:17 +0100 Subject: [PATCH 2/2] Update README.md --- README.md | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index 10286ef..c4204f6 100644 --- a/README.md +++ b/README.md @@ -3,7 +3,7 @@ SLiver is a tool for the analysis of multi-agent systems specified in the LAbS language [1]. At the moment, it support under-approximate analysis -via bounded model checking. +via bounded model checking, or analisys of the full state space via explicit-state model checking. This page contains source code and binary releases of SLiVER for Linux x64 systems. @@ -39,6 +39,10 @@ To install SLiVER, please follow the steps below: 6. Follow `README.txt` for additional (release-specific) instructions. +The COORDINATION paper [2] +[(PDF)](https://hal.inria.fr/hal-02890401/en) +contains further usage information. + ## Support If you encounter any issues while running SLiVER, please submit @@ -47,3 +51,5 @@ an [issue](https://github.com/labs-lang/sliver/issues). ## Publications [1] R. De Nicola, L. Di Stefano, and O. Inverso, “Multi-Agent Systems with Virtual Stigmergy,” in: Mazzara M., Ober I., Salaün G. (eds) Software Technologies: Applications and Foundations. STAF 2018. Lecture Notes in Computer Science, vol 11176. Springer, 2018. [Link](https://link.springer.com/chapter/10.1007%2F978-3-030-04771-9_26) + +[2] L. Di Stefano, F. Lang, and W. Serwe, “Combining SLiVER with CADP to Analyze Multi-agent Systems,” in 22nd International Conference on Coordination Models and Languages (COORDINATION), Valletta, Malta, Jun. 2020, vol. 12134, pp. 370–385. [Link](https://link.springer.com/chapter/10.1007%2F978-3-030-50029-0_23)