Formalizing Monitoring Processes for Large-Scale Distributed Systems Using Abstract State Machines

DOI10.1007/978-3-319-74781-1_11zbMath1461.68035OpenAlexW2786777509MaRDI QIDQ4989710

Andreea Buga, Sorana Tania Nemeș

Publication date: 26 May 2021

Published in: Software Engineering and Formal Methods (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-74781-1_11

zbMATH Keywords

monitoringabstract state machinesmodel validationcomputation tree logicformal modelingfailure detection

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14) Reliability, testing and fault tolerance of networks and computer systems (68M15)

This page was built for publication: Formalizing Monitoring Processes for Large-Scale Distributed Systems Using Abstract State Machines