Patterns for Refinement Automation

15 years 16 days ago

Download deploy-eprints.ecs.soton.ac.uk

Formal modelling is indispensable for engineering highly dependable systems. However, a wider acceptance of formal methods is hindered by their insufficient usability and scalability. In this paper, we aim at assisting developers in rigorous modelling and design by increasing automation of development steps. We introduce a notion of refinement patterns

Alexei Iliasov, Elena Troubitsyna, Linas Laibinis,

Real-time Traffic

FMCO 2009 | Formal Methods | Model Transformations | Refinement Patterns | Syntactic Model Transformations |

claim paper

» Can Refinement be Automated

» OnDemand Refinement of Dependent Types

» Automating Verification of Cooperation Control and Design in Traffic Applications

» Systematic Refinement of Performance Models for Concurrent Componentbased Systems

» Stratified CaseBased Reasoning in NonRefinable Abstraction Hierarchies

» Towards ActionRefinement in Process Algebras

» Automated Feature ModelBased Generation of Refinement Transformations

» Automating Refinement Checking in Probabilistic System Design

Post Info
More Details (n/a)

Added	17 Feb 2011
Updated	17 Feb 2011
Type	Journal
Year	2009
Where	FMCO
Authors	Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander Romanovsky

Comments (0)

Sciweavers

Patterns for Refinement Automation

FMCO 2009 | Formal Methods | Model Transformations | Refinement Patterns | Syntactic Model Transformations |

Explore & Download

Productivity Tools

Sciweavers