Deductive verification of active objects with Crowbar.

Eduard Kamburjan Marco Scaletta Nils Rollshausen

Published in: Sci. Comput. Program. (2023)

Keyphrases

model checking
d objects
object oriented
dynamic response
multiple objects
real time
machine learning