Open AccessB-PERFect - Applying the PERF Approach to B Based System Developments
Author(s) -
Alexandra Halchin,
Abderrahmane Feliachi,
Neeraj Kumar Singh,
Yamine AïtAmeur,
Julien Ordioni
Publication year - 2017
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - computer science , formal verification , programming language , software deployment , model checking , process (computing) , software , formal methods , software engineering , model transformation , b method , artificial intelligence , consistency (knowledge bases)
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom