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

Devs

Relational Action Bases: Formalization, Effective Safety Verification, and Invariants (Extended Version) | Read Paper on Bytez