Greetings, 

We are pleased to announce that the following paper has been accepted in the 12th International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS'18). Please find the title and abstract below.

Title and corresponding authors:
 
"Improving Parallel State-Space Exploration Using Genetic Algorithms"
Etienne Renault (1)

(1) LRDE, Epita, Paris, France


Abstract:


The verification of temporal properties against a given system may require the exploration of its full state space. In explicit model-checking this exploration uses a Depth-First-Search (DFS) and can be achieved with multiple randomized threads to increase performance. Nonetheless the topology of the state-space and the exploration order can cap the speedup up to a certain number of threads. This paper proposes a new technique that aims to tackle this limitation by generating artificial initial states, using genetic algorithms. Threads are then launched from these states and thus explore different parts of the state space. Our prototype implementation runs 10% faster than state-of-the-art algorithms. These results demonstrate that this novel approach worth to be considered as a way to overcome existing limitations.

More information at :

https://www.lrde.epita.fr/wiki/Publications/renault.18.vecos