Inferring Temporal Properties of Finite-State Machine Models with Genetic Programming
Чивилихин Даниил Сергеевич, Ilya Ivanov, Anatoly Abramovich Shalyto · 2015
The paper presents a genetic programming based approach for inferring general form Linear Temporal Logic properties of finite-state machine models. Candidate properties are evaluated using several fitness functions, therefore multiobjective evolutionary algorithms are used. The feasibility of the approach is demonstrated by two examples.