Mutation of Formally Verified SysML Models Topics: Agile Model-Based Development ; Model Execution and Simulation; Model Transformation; Model-Based Software Development; Modeling Language Syntax and Semantics; Software and Systems Engineering In Proceedings of the 11th International Conference on Model-Based Software and Systems Engineering MODELSWARD - Volume 1, 31-42, 2023 , Lisbon, Portugal