Modifying LOTOS specifications by means of automatable formula-based integrations

DOI10.1023/A:1022561505762zbMath1023.68065OpenAlexW1599246091MaRDI QIDQ1810856

Gigliola Vaglini, Antonella Santone

Publication date: 9 June 2003

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1022561505762

zbMATH Keywords

temporal logicLOTOSincomplete specificationsreuse of specifications

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: Modifying LOTOS specifications by means of automatable formula-based integrations