International Conference on integrated Formal Methods iFM 2019
0


iFM 2019, iFM
Robotic Events (َiFM 2019): International Conference on integrated Formal Methods iFM 2019 solicits high quality papers reporting research results and/or experience reports related to the overall theme of formal method integration.
Scope (iFM 2019)
- Formal and semi-formal modelling notations
- Combining formal methods
- Integration of formal methods into software engineering practice
- Program verification, model checking, and static analysis
- Runtime analysis, monitoring, and testing
- Program synthesis
- Analysis and synthesis of hybrid, embedded, probabilistic, distributed, or concurrent systems
- Model learning
- Theorem proving, decision procedures, SAT and SMT solving
Date:
- 04, 08 Dec 2019
Where:
- Bergen, Norway
Website: http://ifm2019.hvl.no
Labels:
Keywords:
robotic, robotic event, iFM 2019
![]() |
is to participate to the international conference from 04 to 08 dec .2019 in Bergen ,norway
|
