Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings > Synthesis of Railway Signaling Layout from Local Capacity Specifications
Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings |
Maurice H. ter Beek; Annabelle McIver; José N. Oliveira
Springer International Publishing
Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
Synthesis of Railway Signaling Layout from Local Capacity Specifications
Authors

Bjørnar Luteberget; Christian Johansen; Martin Steffen

ARI Id

1665214468136_5396213

Access

Not Available Free

Pages

121-137

DOI

10.1007/978-3-030-30942-8_9

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-030-30942-8_9

Table of Contents of Book
Showing 1 to 20 of 61 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
i-xxi
Front Matter
1-1
The Human in Formal Methods
Shriram Krishnamurthi; Tim Nelson
3-10
Successes in Deployed Verified Software (and Insights on Key Social Factors)
June Andronick
11-17
Front Matter
19-19
Provably Correct Floating-Point Implementation of a Point-in-Polygon Algorithm
Mariano M. Moscato; Laura Titolo; Marco A. Feliú; César A. Muñoz
21-37
Formally Verified Roundoff Errors Using SMT-based Certificates and Subdivisions
Joachim Bard; Heiko Becker; Eva Darulova
38-44
Mechanically Verifying the Fundamental Liveness Property of the Chord Protocol
Jean-Paul Bodeveix; Julien Brunel; David Chemouil; Mamoun Filali
45-63
On the Nature of Symbolic Execution
Frank S. de Boer; Marcello Bonsangue
64-80
Front Matter
81-81
GR(1)*: GR(1) Specifications Extended with Existential Guarantees
Gal Amram; Shahar Maoz; Or Pistiner
83-100
Counterexample-Driven Synthesis for Probabilistic Program Sketches
Milan Češka; Christian Hensel; Sebastian Junges; Joost-Pieter Katoen
101-120
Synthesis of Railway Signaling Layout from Local Capacity Specifications
Bjørnar Luteberget; Christian Johansen; Martin Steffen
121-137
Pegasus: A Framework for Sound Continuous Invariant Generation
Andrew Sogokon; Stefan Mitsch; Yong Kiam Tan; Katherine Cordwell; André Platzer
138-157
Front Matter
159-159
A Parametric Rely-Guarantee Reasoning Framework for Concurrent Reactive Systems
Yongwang Zhao; David Sanán; Fuyuan Zhang; Yang Liu
161-178
Verifying Correctness of Persistent Concurrent Data Structures
John Derrick; Simon Doherty; Brijesh Dongol; Gerhard Schellhorn; Heike Wehrheim
179-195
Compositional Verification of Concurrent Systems by Combining Bisimulations
Frédéric Lang; Radu Mateescu; Franco Mazzanti
196-213
Front Matter
215-215
Towards a Model-Checker for Circus
Artur Oliveira Gomes; Andrew Butterfield
217-234
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 61 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings