Incremental and Formal Verification of SysML Models.

Sophie Coudert Ludovic Apvrille Bastien Sultan Oana Hotescu Pierre de Saqui-Sannes

Published in: SN Comput. Sci. (2024)

Keyphrases

formal verification
real time
statistical models
model checking
incremental learning
prior knowledge
probabilistic model
orders of magnitude