CORE
🇺🇦
make metadata, not war
Services
Services overview
Explore all CORE services
Access to raw data
API
Dataset
FastSync
Content discovery
Recommender
Discovery
OAI identifiers
OAI Resolver
Managing content
Dashboard
Bespoke contracts
Consultancy services
Support us
Support us
Membership
Sponsorship
Community governance
Advisory Board
Board of supporters
Research network
About
About us
Our mission
Team
Blog
FAQs
Contact us
research
PranCS: A protocol and discrete controller synthesis tool
Authors
N Berthier
I Husien
S Schewe
Publication date
17 October 2017
Publisher
'Springer Science and Business Media LLC'
Doi
Cite
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
Similar works
Full text
Open in the Core reader
Download PDF
Available Versions
University of Liverpool Repository
See this paper in CORE
Go to the repository landing page
Download from data provider
oai:livrepository.liverpool.ac...
Last time updated on 02/08/2018