SBMF 2013 - 16th Brazilian Symposium on Formal Methods (SBMF 2013)

The aim of SBMF is to provide a venue for the presentation
and discussion of high-quality papers, from researchers
with a broad range of interests in formal methods,
on recent developments in this field. The topics include,
but are not limited to, the following:
- Well-founded specification and design languages;
- Formal aspects of popular languages and methodologies;
- Logics and semantics of programming- and specification languages;
- Reusable domain theories;
- Type systems and category theory in computer science;
- Computational complexity of methods and models;
- Computational models;
- Rewriting systems;
- Formal methods integration;
- Formal methods for software/hardware development;
- Formal methods applied to model-driven engineering;
- Code generation;
- Formal design methods;
- Specification and modeling;
- Abstraction, modularization and refinement techniques;
- Program and test synthesis;
- Techniques for correctness by construction;
- Formal methods and models for objects, aspects
and component systems;
- Formal methods and models for real-time, hybrid and
critical systems;
- Formal methods and models for service-oriented systems;
- Models of concurrency, security and mobility;
- Model checking;
- Theorem proving;
- Static analysis;
- Formal techniques for software testing;
- Software certification;
- Formal techniques for software inspection.
- Teaching of, for and with formal methods;
- Experience reports on the use of formal methods;
- Industrial case studies;
- Tools supporting the formal development of computational systems;
- Development methodologies with formal foundations;
- Software evolution based on formal methods.