1 paper
Dmitry Brizhinev, Rajeev Goré
We describe a successful attempt to formally verify a simple genetic algorithm written in Java. To this end, we compare several formal verification tools designed for Java, and sel…