22nd workshop on Modeling and Verification

Е-мейл Оргкомітету: 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