Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
A Logical Account of NGSCB Read chapter Read first chapter

2004 | OriginalPaper | Chapter

Towards Design Recovery from Observations

Authors : Hasan Ural, Hüsnü Yenigün

Published in: Formal Techniques for Networked and Distributed Systems – FORTE 2004

Publisher: Springer Berlin Heidelberg

Included in: Professional Book Archive

Get Access

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

This paper proposes an algorithm for the construction of an MSC graph from a given set of actual behaviors of an existing concurrent system which has repetitive subfunctions. Such a graph can then be checked for safe realizability and be used as input to existing synthesis techniques.

previous chapter Formal Verification of Web Applications Modeled by Communicating Automata
next chapter Network Protocol System Passive Testing for Fault Management: A Backward Checking Approach
Metadata
Title
Towards Design Recovery from Observations
Authors
Hasan Ural
Hüsnü Yenigün
Copyright Year
2004
Publisher
Springer Berlin Heidelberg
Book
Formal Techniques for Networked and Distributed Systems – FORTE 2004

Print ISBN: 978-3-540-23252-0

Electronic ISBN: 978-3-540-30232-2

Copyright Year: 2004

DOI
https://doi.org/10.1007/978-3-540-30232-2_9

Premium Partner

    Image Credits