<pre>Topics of interest include (but are not limited to): – Design, specification, code generation and testing based on formal methods. – Methods, techniques and tools to support automated analysis, certification, debugging, learning, optimization and transformation of complex, distributed, real–time systems and embedded systems. – Verification and validation methods that address shortcomings of existing methods with respect to their industrial applicability (e.g., scalability and usability issues). – Tools for the development of formal design descriptions. – Case studies and experience reports on industrial applications of formal methods, focusing on lessons learned or identification of new research directions. – Impact of the adoption of formal methods on the development process and associated costs. Application of formal methods in standardization and industrial forums.<br></pre>
Abbrevation
Gothenburg
City
Oslo
Country
Norway
Deadline Paper
Start Date
End Date
Abstract