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:
Cover of the book

1982 | OriginalPaper | Chapter

Inductive Assertions for Analyzing Reachability Sets

Author : Horst Müller

Published in: Application and Theory of Petri Nets

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 …

It is scetched how the inductive assertion method of Floyd/Hoare and the termination proof method of Floyd/Manna can be used for the analysis of reachability sets for arbitrary initial transition systems.

Metadata
Title
Inductive Assertions for Analyzing Reachability Sets
Author
Horst Müller
Copyright Year
1982
Publisher
Springer Berlin Heidelberg
Book
Application and Theory of Petri Nets

Print ISBN: 978-3-540-11189-4

Electronic ISBN: 978-3-642-68353-4

Copyright Year: 1982

DOI
https://doi.org/10.1007/978-3-642-68353-4_28

Premium Partner

    Image Credits