An accessible verification environment for UML models of services
From MaRDI portal
Publication:617979
DOI10.1016/J.JSC.2010.08.005zbMath1215.68065OpenAlexW2167935884WikidataQ57650711 ScholiaQ57650711MaRDI QIDQ617979
Francesco Tiezzi, Federico Banti, Rosario Pugliese
Publication date: 14 January 2011
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jsc.2010.08.005
Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (1)
Uses Software
Cites Work
- Unnamed Item
- An accessible verification environment for UML models of services
- 25 years of model checking. History, achievements, perspectives
- A calculus of mobile processes. I
- Automatic verification of a behavioural subset of UML statechart diagrams using the SPIN model-checker
- ACTLW -- an action-based computation tree logic with unless operator
- Regulating Data Exchange in Service Oriented Applications
- Relational Analysis of Correlation
- Three logics for branching bisimulation
- Logic in Computer Science
- The Conversation Calculus: A Model of Service-Oriented Computation
- Communicating Sequential Processes. The First 25 Years
- A Calculus for Orchestration of Web Services
- Structured Communication-Centred Programming for Web Services
- Formal Methods for Open Object-Based Distributed Systems
This page was built for publication: An accessible verification environment for UML models of services
