Specifying and Verifying Declarative Fluent Temporal Logic Properties of Workflows

DOI10.1007/978-3-642-33296-8_12zbMath1372.68176OpenAlexW2204954092MaRDI QIDQ5200483

Nazareno Aguirre, Thomas S. E. Maibaum, Germán Regis, Nicolás Ricci

Publication date: 6 November 2012

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

Full work available at URL: https://doi.org/10.1007/978-3-642-33296-8_12

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) Theory of organizations, manpower planning in operations research (90B70)

Related Items (1)

Pattern-based and composition-driven automatic generation of logical specifications for workflow-oriented software models

This page was built for publication: Specifying and Verifying Declarative Fluent Temporal Logic Properties of Workflows