SpecifyThis - Bridging Gaps Between Program Specification Paradigms.

Wolfgang Ahrendt Paula Herber Marieke Huisman Mattias Ulbrich

Published in: ISoLA (1) (2022)

Keyphrases

control program
computer programs
control flow
genetic algorithm
decision making
high level
formal specification
formal verification
program execution
real time
neural network
information systems
formal methods
programming course
specification language