Tech Reports Home Contact
Technical Report Series
Browse Reports
Information for Authors
Contact Details

Technical Report HW-MACS-TR-0108

Title A Framework for Automating Design Level Exploration within the Rodin Toolset
Authors Peter Kovacs (with contributions from Gudmund Grov and Andrew Ireland)
Date 2014-10-10
Abstract Automated design space exploration in the context of formal modelling is the process of automated generation new models/specifications. This can e.g. be used to fix faulty models, either by abstraction away the mistake or by adaptation/mutation of the model. This report details a tool developed by the first author over the summer of 2014. The tool will act as a framework for future research into this exciting and novel area, targeting the Event-B formalism and the Rodin toolset.
Group DSG
Email Technical Report's Administrator
|MACS Home| Top of the Page

Department of Computer Science, Heriot-Watt University, Riccarton, Edinburgh, EH14 4AS, +44 (0) 131 4514152

Last Updated: 02 September 2003 Copyright Heriot-Watt University, Disclaimer