Preorder-Constrained Simulations for Program Refinement with Effects.

Koko Muroya Takahiro Sanada Natsuki Urabe

Published in: CMCS (2024)

Keyphrases

databases
constrained problems
data sets
clustering algorithm
search algorithm
mobile robot
test cases
simulation study
numerical simulations
computer programs
simulation environment
program execution