SBMF aims to provide a venue for the presentation and discussion of high-quality work in formal methods. The topics include, but are not limited to, the following:
Applications of formal methods
▪ Software or hardware design
▪ Software or hardware development
▪ Software or hardware code generation
▪ Software or hardware testing
▪ Software maintenance, evolution and reuse
▪ Intelligent systems
Specification & modeling languages
▪ Logic and semantics for specification and programming languages
▪ Formal methods for timed, real-time, hybrid, or safety-critical systems
▪ Formal methods for service-oriented, cloud-based, or cyber-physical systems
Theoretical foundations
▪ Domain theory
▪ Term rewriting
▪ Computational models
▪ Type systems and category theory
▪ Computational complexity of methods and models
▪ Models of time, concurrency, security, and mobility
Verification and validation
▪ Abstraction, modularization, and refinement techniques
▪ Static analysis
▪ Model checking
▪ Theorem proving
▪ Software certification
▪ Correctness by construction
Experience reports
▪ Reports on teaching formal methods
▪ Reports on the industrial application of formal methods