<br>SCOPE AND TOPICS<br>The aim of SBMF is to provide a venue for the presentation and discussion<br>of high–quality work in formal methods. The topics include (not limited to):<br>* techniques and methodologies, such as method integration; software and<br>hardware co–design; model–driven engineering; formal aspects of popular<br>methodologies; formal design; development methodologies with formal<br>foundations; software evolution based on formal methods;<br>* specification and modeling languages, such as well–founded specification and<br>design languages; formal aspects of popular languages; logic and semantics<br>for programming and specification languages; code generation; formal methods<br>of programming paradigms (such as objects, aspects, and component), formal<br>methods for real–time, hybrid, and safety–critical systems, formal models<br>of service–oriented, cloud–based, and cyber–physical systems;<br>* theoretical foundations, such as domain theory; type systems and category<br>theory; computational complexity of methods and models; computational<br>models; term rewriting; models of concurrency, security and mobility;<br>* verification and validation, such as abstraction, modularization and<br>refinement techniques; program and test synthesis; correctness by<br>construction; model checking; theorem proving; static analysis; formal<br>techniques for software testing; software certification; formal techniques<br>for software inspection;<br>* Experience reports regarding teaching formal methods;<br>* applications, such as experience reports on the use of formal methods;<br><div> industrial case studies; tool support.</div><div><br></div>
Abbrevation
SBMF
City
São Paulo
Country
Brazil
Deadline Paper
Start Date
End Date
Abstract