Patterns in property specifications for finite-state verification
Proceedings of the 21st international conference on Software engineering
Context-sensitive synchronization-sensitive analysis is undecidable
ACM Transactions on Programming Languages and Systems (TOPLAS)
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
Slicing Hierarchical Automata for Model Checking UML Statecharts
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Towards a Formal Operational Semantics of UML Statechart Diagrams
Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)
vUML: A Tool for Verifying UML Models
ASE '99 Proceedings of the 14th IEEE international conference on Automated software engineering
Implementing Statecharts in PROMELA/SPIN
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
Formal Methods in Embedded Design
Computer
On Semantics and Refinement of UML Statecharts: A Coalgebraic View
SEFM '04 Proceedings of the Software Engineering and Formal Methods, Second International Conference
An Automata-Theoretic Approach for Model Checking Threads for LTL Propert
LICS '06 Proceedings of the 21st Annual IEEE Symposium on Logic in Computer Science
UML Automatic Verification Tool with Formal Methods
Electronic Notes in Theoretical Computer Science (ENTCS)
Formalising UML state machines for model checking
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Control Dependence for Extended Finite State Machines
FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Management and object behavior of statecharts through statechart DNA
WSEAS Transactions on Information Science and Applications
ICAI'09 Proceedings of the 10th WSEAS international conference on Automation & information
ECC'10 Proceedings of the 4th conference on European computing conference
WSEAS Transactions on Information Science and Applications
Model projection: simplifying models in response to restricting the environment
Proceedings of the 33rd International Conference on Software Engineering
Slicing MATLAB simulink models
Proceedings of the 34th International Conference on Software Engineering
State-based model slicing: A survey
ACM Computing Surveys (CSUR)
| Hi-index | 0.00 |
SVtL is the core of a slicing-based verification environment for UML statechart models.We present an overview of the SVtL software architecture. Special attention is paid to the slicing approach. Slicing reduces the complexity of the verification approach, based on removing pieces of the model that are not of interest during verification. In [18] a slicing algorithm has been proposed for statecharts, but it was not able to handle orthogonal regions efficiently. We optimize this algorithm by removing false dependencies, relying on the broadcasting mechanism between different parts of the statechart model.