Theory and Practice of Formal Methods - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319307336, 9783319307343

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Compositional Approach to the Verification of Hybrid Systems

Theory and Practice of Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-319-30734-3_8 ◽

2016 ◽

pp. 88-103 ◽

Cited By ~ 5

Author(s):

Lăcrămioara Aştefănoaei ◽

Saddek Bensalem ◽

Marius Bozga

Keyword(s):

Hybrid Systems ◽

Compositional Approach ◽

Verification Of Hybrid Systems

Download Full-text

Proper Protocol

Theory and Practice of Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-319-30734-3_7 ◽

2016 ◽

pp. 65-87 ◽

Cited By ~ 5

Author(s):

Farhad Arbab

Download Full-text

On Time Actors

Theory and Practice of Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-319-30734-3_25 ◽

2016 ◽

pp. 373-392 ◽

Cited By ~ 10

Author(s):

Marjan Sirjani ◽

Ehsan Khamespanah

Download Full-text

Towards a $$\mathbb {K}$$ K ool Future

Theory and Practice of Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-319-30734-3_22 ◽

2016 ◽

pp. 325-343

Author(s):

Dorel Lucanu ◽

Traian-Florin Şerbănuţă ◽

Grigore Roşu

Download Full-text

Moessner’s Theorem: An Exercise in Coinductive Reasoning in Coq

Theory and Practice of Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-319-30734-3_21 ◽

2016 ◽

pp. 309-324

Author(s):

Robbert Krebbers ◽

Louis Parlant ◽

Alexandra Silva

Download Full-text

Characterization of Simulation by Probabilistic Testing

Theory and Practice of Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-319-30734-3_24 ◽

2016 ◽

pp. 360-372

Author(s):

Philipp Rümmer ◽

Wang Yi

Download Full-text

Toward a Formal Foundation for Time Travel in Stories and Games

Theory and Practice of Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-319-30734-3_18 ◽

2016 ◽

pp. 261-276

Author(s):

Michiel Helvensteijn ◽

Farhad Arbab

Keyword(s):

Time Travel

Download Full-text

Towards a Proof Method for Paradigm

Theory and Practice of Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-319-30734-3_17 ◽

2016 ◽

pp. 242-260

Author(s):

L. P. J. Groenewegen ◽

R. Kuiper ◽

E. P. de Vink

Download Full-text

Effectively Eliminating Auxiliaries

Theory and Practice of Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-319-30734-3_16 ◽

2016 ◽

pp. 226-241 ◽

Cited By ~ 1

Author(s):

Stijn de Gouw ◽

Jurriaan Rot

Download Full-text

A Sound and Complete Hoare Logic for Dynamically-Typed, Object-Oriented Programs

Theory and Practice of Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-319-30734-3_13 ◽

2016 ◽

pp. 173-193 ◽

Cited By ~ 1

Author(s):

Björn Engelmann ◽

Ernst-Rüdiger Olderog

Keyword(s):

Object Oriented ◽

Hoare Logic

Download Full-text

Theory and Practice of Formal Methods - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

A Compositional Approach to the Verification of Hybrid Systems

Proper Protocol

On Time Actors

Towards a $$\mathbb {K}$$ K ool Future

Moessner’s Theorem: An Exercise in Coinductive Reasoning in Coq

Characterization of Simulation by Probabilistic Testing

Toward a Formal Foundation for Time Travel in Stories and Games

Towards a Proof Method for Paradigm

Effectively Eliminating Auxiliaries

A Sound and Complete Hoare Logic for Dynamically-Typed, Object-Oriented Programs

Theory and Practice of Formal Methods - Lecture Notes in Computer Science
Latest Publications