Picture for Silvio Ghilardi

Silvio Ghilardi

Relational Action Bases: Formalization, Effective Safety Verification, and Invariants (Extended Version)

Add code
Aug 12, 2022
Figure 1 for Relational Action Bases: Formalization, Effective Safety Verification, and Invariants (Extended Version)
Figure 2 for Relational Action Bases: Formalization, Effective Safety Verification, and Invariants (Extended Version)
Viaarxiv icon

Petri Nets with Parameterised Data: Modelling and Verification (Extended Version)

Add code
Jun 11, 2020
Figure 1 for Petri Nets with Parameterised Data: Modelling and Verification (Extended Version)
Figure 2 for Petri Nets with Parameterised Data: Modelling and Verification (Extended Version)
Figure 3 for Petri Nets with Parameterised Data: Modelling and Verification (Extended Version)
Viaarxiv icon