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

TOTAL DOCUMENTS

34
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By Springer International Publishing

9783319335995, 9783319336008
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Relational Encoding for a Clash-Free Subset of ASMs

2016 ◽  
pp. 237-243 ◽  
Author(s):  
Gerhard Schellhorn ◽  
Gidon Ernst ◽  
Jörg Pfähler ◽  
Wolfgang Reif
Keyword(s):  
Relational Encoding ◽  
Free Subset

Generating Event-B Specifications from Algorithm Descriptions

2016 ◽  
pp. 183-197 ◽  
Author(s):  
Joy Clark ◽  
Jens Bendisposto ◽  
Stefan Hallerstede ◽  
Dominik Hansen ◽  
Michael Leuschel

scholarly journals A Super Industrial Application of PSGraph

2016 ◽  
pp. 319-325 ◽  
Author(s):  
Yuhui Lin ◽  
Gudmund Grov ◽  
Colin O’Halloran ◽  
Priiya G.
Keyword(s):  
Industrial Application

Rodin Platform Why3 Plug-In

2016 ◽  
pp. 275-281 ◽  
Author(s):  
Alexei Iliasov ◽  
Paulius Stankaitis ◽  
David Adjepon-Yamoah ◽  
Alexander Romanovsky
Load More ...
Sign in / Sign up

Export Citation Format

Share Document