329 citations · 459 across the 19 of their papers we have counts for
1 paper · 2 filters
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…