Verification techniques play an essential role in detecting undesirable behaviors in many
applications like spectrum auctions. By verifying an auction design, one can detect the least …

This paper takes you behind the scenes of the Model Checking Contest (MCC), an annual
competition focusing on the behavioral analysis of asynchronous systems using state-space …

In various scientific communities dealing with formal analysis, software competitions have
emerged and contributed to fostering progress in state of the art and providing insight into …

This paper introduces an integration of the Saga pattern for eventual data consistency in
microservice deployments with concurrency supplied by labeled P/T workflow nets. Main …

When simulating reference nets, the size (places, transitions; memory and CPU
consumption) of the simulation is usually not known before actual runtime. This behavior …

This contribution presents the integration of the cloud-native paradigm into the distributed
simulation of reference nets. This is done to reap the benefits of cloud-based environments …

This paper takes you behind the scenes of the Model Checking Con-test (MCC), an annual
competition focusing on the behavioral analysis of asyn-chronous systems using state …

When simulating reference nets, the size (places, transitions; memory and CPU
consumption) of the simulation is usually not known before actual runtime. This behavior …