alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Mention the CAV'22 paper

Browse source 
* doc/org/citing.org: Here.
* doc/org/spot.css: Add support for "begin_note...end_note".
This commit is contained in:
Alexandre Duret-Lutz 2022-08-10 10:07:22 +02:00
parent faa8fe8873
commit a7e87a1fc7
2 changed files with 26 additions and 10 deletions
Download patch file Download diff file Expand all files Collapse all files

34
doc/org/citing.org
View file

@ -6,18 +6,22 @@
* Generic reference
If you need to cite the Spot project in some academic paper, please
use the following reference:
If you need to cite the Spot project, the latest tool paper about
it is the following reference:
- *Spot 2.0 — a framework for LTL and ω-automata manipulation*,
/Alexandre Duret-Lutz/, /Alexandre Lewkowicz/, /Amaury Fauchille/,
/Thibaud Michaud/, /Etienne Renault/, and /Laurent Xu/. In Proc.
of ATVA'16, LNCS 9938, pp. 122--129. Chiba, Japan, Oct. 2016.
([[https://www.lrde.epita.fr/~adl/dl/adl_bib.html#duret.16.atva2][bib]] | [[https://www.lrde.epita.fr/~adl/dl/adl/duret.16.atva2.pdf][pdf]])
- *From Spot 2.0 to Spot 2.10: What's new?*, /Alexandre Duret-Lutz/,
/Etienne Renault/, /Maximilien Colange/, /Florian Renkin/,
/Alexandre Gbaguidi Aisse/, /Philipp Schlehuber-Caissier/, /Thomas
Medioni/, /Antoine Martin/, /Jérôme Dubois/, /Clément Gillard/, and
Henrich Lauko/. In Proc. of CAV'22, LNCS 13372, pp. 174--187.
Haifa, Israel, Aug. 2022.
([[https://www.lrde.epita.fr/~adl/dl/adl_bib.html#duret.22.cav][bib]] | [[https://www.lrde.epita.fr/~adl/dl/adl/duret.22.cav.pdf][pdf]])
This provides a quick overview of the entire project (the features
of the library, [[file:tools.org][the tools]], the Python bindings), and provides many
references detailing more specific aspects.
#+begin_note
Tools evolve while published papers don't. Please always specify
the version of Spot (or any other tool) you are using when citing it
in a paper. Future versions might have different behaviors.
#+end_note
* Other, more specific, references
@ -83,6 +87,16 @@ be more specific about a particular aspect of Spot.
* Obsolete reference
- *Spot 2.0 — a framework for LTL and ω-automata manipulation*,
/Alexandre Duret-Lutz/, /Alexandre Lewkowicz/, /Amaury Fauchille/,
/Thibaud Michaud/, /Etienne Renault/, and /Laurent Xu/. In Proc.
of ATVA'16, LNCS 9938, pp. 122--129. Chiba, Japan, Oct. 2016.
([[https://www.lrde.epita.fr/~adl/dl/adl_bib.html#duret.16.atva2][bib]] | [[https://www.lrde.epita.fr/~adl/dl/adl/duret.16.atva2.pdf][pdf]])
This provides a quick overview of the entire project (the features
of the library, [[file:tools.org][the tools]], the Python bindings), and provides many
references detailing more specific aspects.
- *Spot: an extensible model checking library using transition-based
generalized Büchi automata*, /Alexandre Duret-Lutz/ and /Denis
Poitrenaud/. In Proc. of MASCOTS'04, pp. 76--83. Volendam, The

2
doc/org/spot.css
View file

@ -77,6 +77,8 @@ thead tr{background:#ffe35e}
.org-hoa-ap-number{color:#d70079}
.implem{background:#fff0a6;padding:0.5ex 1ex 0.5ex 1ex;margin:1ex;border-color:#ffe35e;border-style:solid none}
.implem::before{background:#ffe35e;content:"Implementation detail";padding:.5ex;position:relative;top:0;left:0;font-weight:bold}
.note{background:#fff0a6;padding:0.5ex 1ex 0.5ex 1ex;margin:1ex;border-color:#ffe35e;border-style:solid none}
.note::before{background:#ffe35e;content:"Note";padding:.5ex;position:relative;top:0;left:0;font-weight:bold}
.caveat{background:#ef99c9;padding:0.5ex 1ex 0.5ex 1ex;margin:1ex;border-color:#d70079;border-style:solid none}
.caveat::before{background:#d70079;content:"Caveat";padding:.5ex;position:relative;top:0;left:0;font-weight:bold}
.spotlogo{transform-origin:50% 50%;animation-duration:2s;animation-name:animspotlogo}