22nd workshop on Modeling and Verification

Country: Germany

City: Kaiserslautern

Abstr. due: 25.01.2019

Dates: 08.04.19 — 09.04.19

Area Of Sciences: Technical sciences;

Organizing comittee e-mail: zivkovic@cs.uni-kl.de

Organizers: 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

Conference Web-Site: https://easychair.org/cfp/MBMV2019