Gate splitting in LOTOS specifications using abstract interpretation

DOI10.1007/3-540-56610-4_81MaRDI QIDQ5044753zbMATH OpenOpenAlexFDO

Authors F. Giannotti, Diego Latella

Publication date 2 November 2022

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-56610-4_81

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Gate splitting in LOTOS specifications using abstract interpretation
• An interpreter for LOTOS, a specification language for distributed systems
• scientific article; zbMATH DE number 177243
• scientific article; zbMATH DE number 140241
• Automating (specification \(\equiv\) implementation) using equational reasoning and LOTOS

Cites work

• A calculus of communicating systems
• Abstract Interpretation Frameworks
• scientific article; zbMATH DE number 42237 (Why is no real title available?)
• scientific article; zbMATH DE number 3610766 (Why is no real title available?)
• scientific article; zbMATH DE number 3280068 (Why is no real title available?)

Cited in

(2)

• Gate splitting in LOTOS specifications using abstract interpretation
• scientific article; zbMATH DE number 140242 (Why is no real title available?)

Describes a project that uses

Uses Software

• LOTOS

This page was built for publication: Gate splitting in LOTOS specifications using abstract interpretation

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