Tilbake til søkeresultatene

IKTPLUSS-IKT og digital innovasjon

iFM'19 Conference Support

Tildelt: kr 99 999

Applying formal methods may involve the usage of different formalisms and different analysis techniques to validate a system, either because individual components are most amenable to one formalism or technique, because one is interested in different properties of the system, or simply to cope with the sheer complexity of the system. The iFM conference series seeks to further research into hybrid approaches to formal modelling and analysis; i.e., the combination of (formal and semi-formal) methods for system development, regarding both modelling and analysis. The conference covers all aspects from language design through verification and analysis techniques to tools and their integration into software engineering practice. Areas of interest of the conference include but are not limited to: - 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 The invited speakers are - Corina Pasareanu, researcher at NASA and Associate Research Professor at CMU, United States. Model checking and automated testing - Tiziana Margaria, Professor at University of Limerick, Ireland. Functional verification, reliability, and compliance of complex heterogeneous systems - Jean-Christophe Filliatre, Senior Researcher at CNRS, France. Deductive program verification More information is available at http://ifm2019.hvl.no/

Budsjettformål:

IKTPLUSS-IKT og digital innovasjon

Temaer og emner

Ingen temaer knyttet til prosjektet