Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday > Conformance Checking of Real-Time Models
Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday |
Erika Ábrahám; Marcello Bonsangue; Einar Broch Johnsen
Springer International Publishing
Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
Conformance Checking of Real-Time Models
Authors

Bernhard K. Aichernig; Florian Lorber; Martin Tappler

ARI Id

1665074307865_4721333

Access

Not Available Free

Pages

15-32

DOI

10.1007/978-3-319-30734-3_4

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-319-30734-3_4

Table of Contents of Book
Showing 1 to 20 of 31 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
I-XII
Front Matter
1-1
Program Verification: To Err is Human
Krzysztof R. Apt
3-5
Fond (and Frank) Memories of Frank
Prakash Panangaden
6-8
Warmest Congratulations, Frank!
Willem-Paul de Roever
9-11
Front Matter
13-13
Conformance Checking of Real-Time Models
Bernhard K. Aichernig; Florian Lorber; Martin Tappler
15-32
Resource Analysis of Distributed Systems
Elvira Albert; Jesús Correas; Guillermo Román-Díez
33-46
Comparing Trace Expressions and Linear Temporal Logic for Runtime Verification
Davide Ancona; Angelo Ferrando; Viviana Mascardi
47-64
Proper Protocol
Farhad Arbab
65-87
A Compositional Approach to the Verification of Hybrid Systems
Lăcrămioara Aştefănoaei; Saddek Bensalem; Marius Bozga
88-103
Array Abstraction with Symbolic Pivots
Reiner Hähnle; Nathan Wasser; Richard Bubel
104-121
Modeling Role-Based Systems with Exogenous Coordination
Philipp Chrszon; Clemens Dubslaff; Christel Baier; Joachim Klein; Sascha Klüppelholz
122-139
Vats: A Safe, Reactive Storage Abstraction
Dave Clarke; Tobias Wrigstad
140-154
Denotational and Operational Preciseness of Subtyping: A Roadmap
Mariangiola Dezani-Ciancaglini; Silvia Ghilezan; Svetlana Jakšić; Jovanka Pantović; Nobuko Yoshida
155-172
A Sound and Complete Hoare Logic for Dynamically-Typed, Object-Oriented Programs
Björn Engelmann; Ernst-Rüdiger Olderog
173-193
Self-Reconfiguring Microservices
Maurizio Gabbrielli; Saverio Giallorenzo; Claudio Guidi; Jacopo Mauro; Fabrizio Montesi
194-210
Statically and Dynamically Verifiable SLA Metrics
Elena Giachino; Stijn de Gouw; Cosimo Laneve; Behrooz Nobakht
211-225
Effectively Eliminating Auxiliaries
Stijn de Gouw; Jurriaan Rot
226-241
Towards a Proof Method for Paradigm
L. P. J. Groenewegen; R. Kuiper; E. P. de Vink
242-260
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 31 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings