Formal verification of distributed, data-intensive microservice applications using Petri Nets

20260 citationsOthergreen Open Access

Authors

Shubham · Systems, Applications & Products in Data Processing (United States)

Meenakshi D'Souza · International Institute of Information Technology Bangalore

Abstract

This repository contains the artifact for the paper: "Formal verification of distributed, data-intensive microservice applications using Petri Nets". Latest code is available at https://github.com/prophet1906/ddia_analyzer

Topics & Keywords

Publication Details

Published in: Zenodo (CERN European Organization for Nuclear Research)

DOI: 10.5281/zenodo.18776013

Command Palette

Formal verification of distributed, data-intensive microservice applications using Petri Nets

Authors

Abstract

Topics & Keywords

Publication Details