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

✍ Scribed by Leila Ribeiro, Thierry Lecomte (eds.)

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

✦ Synopsis

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.
The 12 papers presented together with two invited talks were carefully reviewed and selected from 22 submissions. They are organized in the following topical sections: analysis and verification; modeling and logic; and model checking.

✦ Table of Contents

Front Matter....Pages I-X
Front Matter....Pages 1-1
Formal Model-Based Constraint Solving and Document Generation....Pages 3-20
Formal Testing from Natural Language in an Industrial Context....Pages 21-38
Front Matter....Pages 39-39
Application of Formal Methods to Verify Business Processes....Pages 41-58
An Approach for Verifying Educational Robots....Pages 59-77
Verigraph: A System for Specification and Analysis of Graph Grammars....Pages 78-94
Front Matter....Pages 95-95
Modelling ‘Operation-Calls’ in Event-B with Shared-Event Composition....Pages 97-111
Algebraic Foundations for Specification Refinements....Pages 112-128
On Interval Dynamic Logic....Pages 129-144
An Evolutionary Approach to Translate Operational Specifications into Declarative Specifications....Pages 145-160
A Refinement Repair Algorithm Based on Refinement Game for KMTS Models....Pages 161-178
Massive Open Online Courses and Monoids....Pages 179-195
Front Matter....Pages 197-197
A Bounded Model Checker for Three-Valued Abstractions of Concurrent Software Systems....Pages 199-216
Model Checking Requirements....Pages 217-234
Refinement Verification of Sequence Diagrams Using CSP....Pages 235-252
Back Matter....Pages 253-253

✦ Subjects

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