activity
20152023
most citedAn automatic tool for checking multi-party contracts

1 citations · 3 across the 7 of their papers we have counts for

collaborators
Showing 2023Show all

1 paper · 1 filter

cs.SE2023

Conformance Checking for Pushdown Reactive Systems based on Visibly Pushdown Languages

Adilson Luiz Bonifacio

Testing pushdown reactive systems is deemed important to guarantee a precise and robust software development process. Usually, such systems can be specified by the formalism of Inp…