A state/event-based model-checking approach for the analysis of abstract system properties
- 1 February 2011
- journal article
- research article
- Published by Elsevier BV in Science of Computer Programming
- Vol. 76 (2), 119-135
- https://doi.org/10.1016/j.scico.2010.07.002
Abstract
No abstract availableKeywords
This publication has 21 references indexed in Scilit:
- ACTLW – An action-based computation tree logic with unless operatorInformation Sciences, 2008
- An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented ApplicationsLecture Notes in Computer Science, 2008
- Linear and branching structures in the semantics and logics of reactive systemsPublished by Springer Science and Business Media LLC ,2005
- The Unified Modeling Language Reference Manual, Second Edition, by James Rumbaugh.The Journal of Object Technology, 2004
- Validation of UML Models via a Mapping to Communicating Extended Timed AutomataLecture Notes in Computer Science, 2004
- FORMALIZATION OF OBJECT BEHAVIOR AND INTERACTIONS FROM UML MODELSInternational Journal of Software Engineering and Knowledge Engineering, 2001
- Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checkerFormal Aspects of Computing, 1999
- Three logics for branching bisimulationJournal of the ACM, 1995
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986
- Algebraic laws for nondeterminism and concurrencyJournal of the ACM, 1985