Towards the Formal Verification of SysML v2 Models

Molnár, Vince [Molnár, Vince (informatika), author] Critical Systems Research Group (BUTE / FEEI / MIT); Department of Artificial Intelligence and Syst... (BUTE / FEEI); Graics, Bence [Graics, Bence (informatika), author] Critical Systems Research Group (BUTE / FEEI / MIT); Department of Artificial Intelligence and Syst... (BUTE / FEEI); Vörös, András [Vörös, András (informatika), author] Critical Systems Research Group (BUTE / FEEI / MIT); Department of Artificial Intelligence and Syst... (BUTE / FEEI); Tonetta, Stefano; Cristoforetti, Luca; Kimberly, Greg; Dyer, Pamela; Giammarco, Kristin; Koethe, Manfred; Hester, John; Smith, Jamie; Grimm, Christoph