Check It Out: On the Efficient Formal Verification of Live Sequence Charts-Reference-Cited by-同舟云学术

Check It Out: On the Efficient Formal Verification of Live Sequence Charts

Published:2006 Issue: Volume: Page:219-233
ISSN:0302-9743
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

Klose Jochen,Toben Tobe,Westphal Bernd,Wittke Hartmut

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11817963_22.pdf

Reference18 articles.

1. Damm, W., Harel, D.: LSCs: Breathing Life into Message Sequence Charts. Formal Methods in System Design 19, 45–80 (2001)

2. Lecture Notes in Computer Science;B. Westphal,2006

3. Lecture Notes in Computer Science;T. Toben,2006

4. Thomas, W.: Automata on infinite objects. In: van Leeuwen, J. (ed.) Handbook of theor. comp. sc (vol. B): Formal Models And Semantics, pp. 133–191. MIT Press, Cambridge (1990)

5. Klose, J.: Live Sequence Charts: A Graphical Formalism for the Specification of Communication Behavior. PhD thesis, C.v.O. Universität Oldenburg (2003)

Cited by 20 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Verification of Liveness and Safety Properties of Behavioral Programs Using BPjs;Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends;2021

2. Monitoring time property in time-sensitive LSC;J SYST ENG ELECTRON;2015

3. Model-based test generation using extended symbolic grammars;International Journal on Software Tools for Technology Transfer;2014-04-26

4. A Novel Approach to Generate the Property for Web Service Verification from Threat-Driven Model;Applied Mathematics & Information Sciences;2014-03-01

5. Semantically Configurable Analysis of Scenario-Based Specifications;Fundamental Approaches to Software Engineering;2014