Chapter: System Model and Specification Languages

Click here to donate your five minutes and submit the table of contents of a book.

Search from the table of contents of 2.5 million books

Advanced Search (Beta)

Home > Decidability of Parameterized Verification > System Model and Specification Languages

Decidability of Parameterized Verification |

Roderick Bloem; Swen Jacobs; Ayrat Kalimov; Igor Konnov

Springer International Publishing

Decidability of Parameterized Verification

System Model and Specification Languages

Chapter Info

Authors

Roderick Bloem; Ayrat Khalimov; Swen Jacobs; Igor Konnov; Helmut Veith; Josef Widder et al.

ARI Id

1665387657855_6211556

Access

Not Available Free

Pages

5-21

DOI

10.1007/978-3-031-02011-7_2

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-031-02011-7_2

Chapters

entries per page

Filter:

Showing 0 to 0 of 0 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
No data available in table
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 0 to 0 of 0 entries

Books

entries per page

Filter:

Showing 0 to 0 of 0 entries

Book	Author(s)	Year	Publisher
No data available in table
Book	Author(s)	Year	Publisher

Showing 0 to 0 of 0 entries

Books

Book	Author(s)	Year	Publisher
Book	Author(s)	Year	Publisher

Articles

entries per page

Filter:

Showing 0 to 0 of 0 entries

Article Title	Authors	Journal	Vol Info	Language
No data available in table
Article Title	Authors	Journal	Vol Info	Language

Showing 0 to 0 of 0 entries

Articles

entries per page

Filter:

Showing 0 to 0 of 0 entries

Heading	Article Title	Authors	Journal	Vol Info
No data available in table
Heading	Article Title	Authors	Journal	Vol Info

Showing 0 to 0 of 0 entries

Articles

entries per page

Filter:

Showing 0 to 0 of 0 entries

Title	Author	Supervisor	Degree	Institute
No data available in table
Title	Author	Supervisor	Degree	Institute

Showing 0 to 0 of 0 entries

Table of Contents of Book

entries per page

Filter:

Showing 1 to 12 of 12 entries

Chapters/Headings	Author(s)	Pages	Info
Front Matter		i-xi
Introduction	Roderick Bloem; Ayrat Khalimov; Swen Jacobs; Igor Konnov; Helmut Veith; Josef Widder et al.	1-4
System Model and Specification Languages	Roderick Bloem; Ayrat Khalimov; Swen Jacobs; Igor Konnov; Helmut Veith; Josef Widder et al.	5-21
Standard Proof Machinery	Roderick Bloem; Ayrat Khalimov; Swen Jacobs; Igor Konnov; Helmut Veith; Josef Widder et al.	23-29
Token-passing Systems	Roderick Bloem; Ayrat Khalimov; Swen Jacobs; Igor Konnov; Helmut Veith; Josef Widder et al.	31-49
Rendezvous and Broadcast	Roderick Bloem; Ayrat Khalimov; Swen Jacobs; Igor Konnov; Helmut Veith; Josef Widder et al.	51-64
Guarded Protocols	Roderick Bloem; Ayrat Khalimov; Swen Jacobs; Igor Konnov; Helmut Veith; Josef Widder et al.	65-101
Ad Hoc Networks	Roderick Bloem; Ayrat Khalimov; Swen Jacobs; Igor Konnov; Helmut Veith; Josef Widder et al.	103-128
Related Work	Roderick Bloem; Ayrat Khalimov; Swen Jacobs; Igor Konnov; Helmut Veith; Josef Widder et al.	129-138
Parameterized Model Checking Tools	Roderick Bloem; Ayrat Khalimov; Swen Jacobs; Igor Konnov; Helmut Veith; Josef Widder et al.	139-141
Conclusions	Roderick Bloem; Ayrat Khalimov; Swen Jacobs; Igor Konnov; Helmut Veith; Josef Widder et al.	143-144
Back Matter		145-158
Chapters/Headings	Author(s)	Pages	Info

Showing 1 to 12 of 12 entries

Similar Books

entries per page

Filter:

Showing 0 to 0 of 0 entries

Book	Author(s)	Year	Publisher
No data available in table
Book	Author(s)	Year	Publisher

Showing 0 to 0 of 0 entries

Similar Chapters

entries per page

Filter:

Showing 0 to 0 of 0 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
No data available in table
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 0 to 0 of 0 entries

Similar Thesis

entries per page

Filter:

Showing 0 to 0 of 0 entries

Title	Author	Supervisor	Degree	Institute
No data available in table
Title	Author	Supervisor	Degree	Institute

Showing 0 to 0 of 0 entries

Similar News

entries per page

Filter:

Showing 0 to 0 of 0 entries

Headline	Date	News Paper	Country
No data available in table
Headline	Date	News Paper	Country

Showing 0 to 0 of 0 entries