Process-local static analysis of synchronous processes

DOI10.1007/978-3-319-99725-4_18MaRDI QIDQ6041176zbMATH OpenOpenAlexWikidataFDO

Authors Jan Midtgaard, Flemming Nielson, Hanne Riis Nielson

Publication date 26 May 2023

Published in Static Analysis (Search for Journal in Brave)

Full work available at URL https://portal.findresearcher.sdu.dk/da/publications/785d400f-ae6a-4e22-9327-26029a7cd0c1

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• An algorithm for analyzing communicating processes
• Static analysis of communicating processes using symbolic transducers
• Static trace-based deadlock analysis for synchronous Mini-Go
• scientific article; zbMATH DE number 1670564
• scientific article; zbMATH DE number 1948384

Cited in

(12)

• Fencing off Go: liveness and safety for channel-based programming
• Static slicing of explicitly synchronized languages
• Parallel Processing and Applied Mathematics
• Static Livelock Analysis in CSP
• Static analysis of communicating processes using symbolic transducers
• Inferring Channel Buffer Bounds Via Linear Programming
• Static trace-based deadlock analysis for synchronous Mini-Go
• Verification, Model Checking, and Abstract Interpretation
• p‐Version interface elements in global/local analysis
• An algorithm for analyzing communicating processes
• scientific article; zbMATH DE number 1670564 (Why is no real title available?)
• Static analysis of run-time modes in synchronous process network

This page was built for publication: Process-local static analysis of synchronous processes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6041176)