Impactful research and tooling for program correctness.

Priyanka Darke Ravindra Metta Raveendra Kumar Medicherla R. Venkatesh

Published in: Commun. ACM (2022)

Keyphrases

data sets
real time
concurrent programs
genetic algorithm
three dimensional
optimal solution
preprocessing
open source
logic programming
computer programs
program synthesis
control program