PranCS: A protocol and discrete controller synthesis tool



Husien, I, Schewe, S ORCID: 0000-0002-9093-9518 and Berthier, N ORCID: 0000-0002-0933-8193
(2017) PranCS: A protocol and discrete controller synthesis tool. .

[img] Text
setta17.pdf - Author Accepted Manuscript

Download (370kB)

Abstract

© 2017, Springer International Publishing AG. PranCS is a tool for synthesizing protocol adapters and discrete controllers. It exploits general search techniques such as simulated annealing and genetic programming for homing in on correct solutions, and evaluates the fitness of candidates by using model-checking results. Our Proctocol and Controller Synthesis (PranCS) tool uses NuSMV as a back-end for the individual model-checking tasks and a simple candidate mutator to drive the search. PranCS is also designed to explore the parameter space of the search techniques it implements. In this paper, we use PranCS to study the influence of turning various parameters in the synthesis process.

Item Type: Conference or Workshop Item (Unspecified)
Depositing User: Symplectic Admin
Date Deposited: 27 Jul 2018 15:29
Last Modified: 19 Jan 2023 01:30
DOI: 10.1007/978-3-319-69483-2_20
Related URLs:
URI: https://livrepository.liverpool.ac.uk/id/eprint/3023721