Gate splitting in LOTOS specifications using abstract interpretation

DOI10.1016/0167-6423(94)00018-2zbMath0830.68083OpenAlexW1990949840MaRDI QIDQ1346681

Diego Latella, Fosca Giannotti

Publication date: 10 April 1995

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0167-6423(94)00018-2

zbMATH Keywords

LOTOS specifications

Mathematics Subject Classification ID

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

Related Items (1)

Towards automatic temporal logic verification of value passing process algebra using abstract interpretation

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