He P, Kang LS, Johnson CG, Ying S (2011a) Hoare logic-based genetic programming. Sci China Ser F Inf Sci 54(3):623–637 MATH MathSciNetHE P; KANG L S; COLIN G;.Hoare logic-based genetic programming.Sci China: Inform Sci.2011.623-637...
Here we present a new approach based on Hoare logic and weakest preconditions (a la Dijkstra) that generates constraints on the parameter values: Once proper specifications are extracted from biological traces, they play a role similar to programs in the classical Hoare logic. We firstly remind ...