Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Peregrine 2.0: Explaining Correctness of Population Protocols through
  Stage Graphs   We present a new version of Peregrine, the tool for the analysis and
parameterized verification of population protocols introduced in [Blondin et
al., CAV'2018]. Population protocols are a model of computation, intensely
studied by the distributed computing community, in which mobile anonymous
agents interact stochastically to perform a task.
  Peregrine 2.0 features a novel verification engine based on the construction
of stage graphs. Stage graphs are proof certificates, introduced in [Blondin et
al., CAV'2020], that are typically succinct and can be independently checked.
Moreover, unlike the techniques of Peregrine 1.0, the stage graph methodology
can verify protocols whose executions never terminate, a class including recent
fast majority protocols. Peregrine 2.0 also features a novel proof
visualization component that allows the user to interactively explore the stage
graph generated for a given protocol.

33
The categories of this paper are: plasm-ph
7
The categories of this paper are: hep-th
23
The categories of this paper are: solv-int
10
The categories of this paper are: q-bio
34
The categories of this paper are: chem-ph
12
The categories of this paper are: nucl-th
17
The categories of this paper are: q-fin
25
The categories of this paper are: patt-sol
11
The categories of this paper are: hep-lat
21
The categories of this paper are: adap-org
4
The categories of this paper are: cond-mat
31
The categories of this paper are: ao-sci
28
The categories of this paper are: alg-geom
13
The categories of this paper are: quant-ph
6
The categories of this paper are: astro-ph
24
The categories of this paper are: dg-ga