Abstract State Machines, Alloy, B, VDM, and Z - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

35
(FIVE YEARS 0)

H-INDEX

8
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642308840, 9783642308857
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals ASM and Controller Synthesis

2012 ◽  
pp. 51-64 ◽  
Author(s):  
Richard Banach ◽  
Huibiao Zhu ◽  
Wen Su ◽  
Xiaofeng Wu
Keyword(s):  
Controller Synthesis

scholarly journals Discharging Proof Obligations from Atelier B Using Multiple Automated Provers

2012 ◽  
pp. 238-251 ◽  
Author(s):  
David Mentré ◽  
Claude Marché ◽  
Jean-Christophe Filliâtre ◽  
Masashi Asuka

scholarly journals Toward a More Complete Alloy

2012 ◽  
pp. 136-149 ◽  
Author(s):  
Timothy Nelson ◽  
Daniel J. Dougherty ◽  
Kathi Fisler ◽  
Shriram Krishnamurthi

scholarly journals Event-B Code Generation: Type Extension with Theories

2012 ◽  
pp. 365-368 ◽  
Author(s):  
Andrew Edmunds ◽  
Michael Butler ◽  
Issam Maamria ◽  
Renato Silva ◽  
Chris Lovell
Keyword(s):  
Code Generation

SMT Solvers for Rodin

2012 ◽  
pp. 194-207 ◽  
Author(s):  
David Déharbe ◽  
Pascal Fontaine ◽  
Yoann Guyot ◽  
Laurent Voisin
Keyword(s):  
Smt Solvers

Learn and Test for Event-B – A Rodin Plugin

2012 ◽  
pp. 361-364 ◽  
Author(s):  
Ionut Dinca ◽  
Florentin Ipate ◽  
Laurentiu Mierla ◽  
Alin Stefanescu
Load More ...
Sign in / Sign up

Export Citation Format

Share Document