𝔖 Scriptorium

✦ LIBER ✦

📁

Formal Methods: Foundations and Applications: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings

✍ Scribed by Márcio Cornélio, Bill Roscoe (eds.)

Publisher: Springer International Publishing
Year: 2016
Tongue: English
Leaves: 203
Series: Lecture Notes in Computer Science 9526
Edition: 1
Category: Library

⬇ Acquire This Volume

No coin nor oath required. For personal study only.

✦ Synopsis

This book constitutes revised selected papers from the 18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in Belo Horizonte, Brazil, in September 2015.

The 11 papers presented in this volume were carefully reviewed and selected from 25 submissions. They were organized in topical sections named: model checking; languages and semantics; refinement and verification; testing and evaluation.

✦ Table of Contents

Front Matter....Pages I-XVIII
Front Matter....Pages 1-1
Hard-Wiring CSP Hiding: Implementing Channel Abstraction to Generate Verified Concurrent Hardware....Pages 3-18
Instantiation Reduction in Iterative Parameterised Three-Valued Model Checking....Pages 19-35
Front Matter....Pages 37-37
Mobile CSP....Pages 39-55
Evaluating the Assignment of Behavioral Goals to Coalitions of Agents....Pages 56-73
Towards Reasoning in Dynamic Logics with Rewriting Logic: The Petri-PDL Case....Pages 74-89
Front Matter....Pages 91-91
Refinement Strategies for Safety-Critical Java....Pages 93-109
Verifying Transformations of Java Programs Using Alloy....Pages 110-126
A Mechanized Textbook Proof of a Type Unification Algorithm....Pages 127-141
Front Matter....Pages 143-143
Automatic Generation of Test Cases and Test Purposes from Natural Language....Pages 145-161
Time Performance Formal Evaluation of Complex Systems....Pages 162-177
Test Case Generation from Natural Language Requirements Using CPN Simulation....Pages 178-193
Back Matter....Pages 195-195

✦ Subjects

Software Engineering; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Programming Languages, Compilers, Interpreters; Management of Computing and Information Systems

📜 SIMILAR VOLUMES

Formal Methods: Foundations and Applicat

📁 Formal Methods: Foundations and Applications: 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings

✍ Christiano Braga, Cássio Santos (auth.), Juliano Iyoda, Leonardo de Moura (eds.) 📂 Library 📅 2013 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

<p>This book constitutes the refereed proceedings of the 16th Brazilian Symposium on Formal Methods, SBMF 2013, held in Brasilia, Brazil, in September/October 2013. The 14 revised full papers presented together with 2 keynotes were carefully reviewed and selected from 29 submissions. The papers pres

Formal Methods: Foundations and Applicat

📁 Formal Methods: Foundations and Applications: 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings

✍ John Rushby (auth.), Rohit Gheyi, David Naumann (eds.) 📂 Library 📅 2012 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

<p>This book constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, in September 2012; co-located with CBSoft 2012, the Third Brazilian Conference on Software: Theory and Practice. The 14 revised full papers presented together with 2

Formal Methods: Foundations and Applicat

📁 Formal Methods: Foundations and Applications: 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings

✍ John Rushby (auth.), Rohit Gheyi, David Naumann (eds.) 📂 Library 📅 2012 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

<p>This book constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, in September 2012; co-located with CBSoft 2012, the Third Brazilian Conference on Software: Theory and Practice. The 14 revised full papers presented together with 2

Formal Methods: Foundations and Applicat

📁 Formal Methods: Foundations and Applications: 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings

✍ Leila Ribeiro, Thierry Lecomte (eds.) 📂 Library 📅 2016 🏛 Springer International Publishing 🌐 English

<p>This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SBMF 2016, which took place in Natal, Brazil, in November 2016.<br>The 12 papers presented together with two invited talks were carefully reviewed and selected from 22 submissions. They are organized

Formal Methods: Foundations and Applicat

📁 Formal Methods: Foundations and Applications: 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings

✍ Tiago Massoni, Mohammad Reza Mousavi 📂 Library 📅 2018 🏛 Springer International Publishing 🌐 English

<p>This book constitutes the refereed proceedings of the 21st Brazilian Symposium on Formal Methods, SBMF 2018, which took place in Salvador, Brazil, in November 2018.<br>The 16 regular papers presented in this book were carefully reviewed and selected from 30 submissions. The papers are organized i

Formal Methods: Foundations and Applicat

📁 Formal Methods: Foundations and Applications: 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings

✍ Christiano Braga, Narciso Martí-Oliet (eds.) 📂 Library 📅 2015 🏛 Springer International Publishing 🌐 English

<p><p>This book constitutes the thoroughly refereed post-conference proceedings of the 17th Brazilian Symposium on Formal Methods, SBMF 2014, held in Maceió, Brazil, in September/October 2014.</p><p></p><p>The 9 revised full papers presented together with 2 invited talks were carefully reviewed and