22nd workshop on Modeling and Verification

Країна: Германія

Місто: Kaiserslautern

Тези до: 25.01.2019

Дати: 08.04.19 — 09.04.19

Область наук: Технічні;

Е-мейл Оргкомітету: zivkovic@cs.uni-kl.de

Організатори: IEEE

 

The MBMV 2019 workshop is the 22nd workshop on Modeling and Verification. It is organized by the GI/ITG/GMM working groups on 3 and 4 that, in brief, deal with modeling and verification. 

The content of the workshop focuses on the following topics in the context of system modeling and verification:

  • Formal, semi-formal and other methods for specification and modeling
  • Standards and extensions of modeling languages for hardware, hardware/software systems, model-based development 
  • Behavior modeling, Model modeling, Model refinement
  • Models and methods for cross-domain developments: Analog/Digital, Hardware/Software, Mechatronics, Cyber/Physical
  • Synthesis and formal synthesis, property refinement from specifications
  • Formal verification (equivalence and property proofs)
  • Circuits and systems in safety-relevant systems
  • Verification of non-functional properties
  • Simulation-based verification and validation
  • Digitalization of development e.g. through machine learning or data analysis

Веб-сторінка конференції: https://easychair.org/cfp/MBMV2019