![]() |
| |||||||||||||||
FormaliSE 2023 : 11th International Conference on Formal Methods in Software Engineering | |||||||||||||||
Link: https://www.formalise.org/ | |||||||||||||||
| |||||||||||||||
Call For Papers | |||||||||||||||
Areas of interest include but are not limited to:
- approaches and tools for verification and validation; - application of formal methods to specific domains, e.g., autonomous, cyber-physical, intelligent, and IoT systems; - scalability of formal methods applications; - integration of formal methods within the software development lifecycle (e.g., change management, continuous integration and deployment); - requirements formalization and formal specification; - model-based software engineering approaches; - performance analysis based on formal approaches; - formal methods in a certification context; - formal approaches for safety and security-related issues; - usability of formal methods; - guidelines to use formal methods in practice; - case studies developed/analyzed with formal approaches; - experience reports on the application of formal methods to real-world problems. See https://www.formalise.org/ or https://formalise2023.github.io/ for further information. |
|