Towards Validation-Driven Development

  • Sebastian Stock (Speaker)

Activity: Talk or presentation › Invited talk › science-to-science

Description

In this presentation we introduce the general idea of guiding the development of formal models by the validation effort it takes to show the desired features.
Period30 May 2023
Event titleIVOIRE Workshop
Event typeConference
LocationFranceShow on map

Fields of science

  • 102 Computer Sciences

Documents & Links