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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783662436516, 9783662436523

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Translating B to TLA + for Validation with TLC

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

10.1007/978-3-662-43652-3_4 ◽

2014 ◽

pp. 40-55 ◽

Cited By ~ 4

Author(s):

Dominik Hansen ◽

Michael Leuschel

Download Full-text

Staged Evaluation of Partial Instances in a Relational Model Finder

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

10.1007/978-3-662-43652-3_32 ◽

2014 ◽

pp. 318-323 ◽

Cited By ~ 7

Author(s):

Vajih Montaghami ◽

Derek Rayside

Keyword(s):

Relational Model

Download Full-text

Fixed-Point Arithmetic Modeled in B Software Using Reals

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

10.1007/978-3-662-43652-3_28 ◽

2014 ◽

pp. 298-302

Author(s):

Jérôme Guéry ◽

Olivier Rolland ◽

Joris Rehm

Keyword(s):

Fixed Point ◽

Fixed Point Arithmetic ◽

Point Arithmetic

Download Full-text

WebASM: An Abstract State Machine Execution Environment for the Web

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

10.1007/978-3-662-43652-3_19 ◽

2014 ◽

pp. 216-221 ◽

Cited By ~ 2

Author(s):

Simone Zenzaro ◽

Vincenzo Gervasi ◽

Jacopo Soldani

Keyword(s):

State Machine ◽

Abstract State Machine ◽

Execution Environment ◽

The Web

Download Full-text

Modelling Energy Consumption in Embedded Systems with VDM-RT

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

10.1007/978-3-662-43652-3_11 ◽

2014 ◽

pp. 130-135

Author(s):

José Antonio Esparza Isasa ◽

Peter Würtz Vinther Jørgensen ◽

Claus Ballegård Nielsen ◽

Stefan Hallerstede

Keyword(s):

Energy Consumption ◽

Embedded Systems

Download Full-text

Validating the RBAC ANSI 2012 Standard Using B

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

10.1007/978-3-662-43652-3_22 ◽

2014 ◽

pp. 255-270 ◽

Cited By ~ 5

Author(s):

Nghi Huynh ◽

Marc Frappier ◽

Amel Mammar ◽

Régine Laleau ◽

Jules Desharnais

Download Full-text

Invariant Guided System Decomposition

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

10.1007/978-3-662-43652-3_23 ◽

2014 ◽

pp. 271-276 ◽

Cited By ~ 1

Author(s):

Richard Banach

Keyword(s):

System Decomposition

Download Full-text

The BWare Project: Building a Proof Platform for the Automated Verification of B Proof Obligations

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

10.1007/978-3-662-43652-3_26 ◽

2014 ◽

pp. 290-293 ◽

Cited By ~ 8

Author(s):

David Delahaye ◽

Catherine Dubois ◽

Claude Marché ◽

David Mentré

Keyword(s):

Automated Verification

Download Full-text

Tuning the Alt-Ergo SMT Solver for B Proof Obligations

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

10.1007/978-3-662-43652-3_27 ◽

2014 ◽

pp. 294-297 ◽

Cited By ~ 3

Author(s):

Sylvain Conchon ◽

Mohamed Iguernelala

Keyword(s):

Smt Solver

Download Full-text

Optimizing Alloy for Multi-objective Software Product Line Configuration

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

10.1007/978-3-662-43652-3_34 ◽

2014 ◽

pp. 328-333 ◽

Cited By ~ 2

Author(s):

Ed Zulkoski ◽

Chris Kleynhans ◽

Ming-Ho Yee ◽

Derek Rayside ◽

Krzysztof Czarnecki

Keyword(s):

Software Product Line ◽

Product Line ◽

Multi Objective ◽

Line Configuration ◽

Software Product

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Translating B to TLA + for Validation with TLC

Staged Evaluation of Partial Instances in a Relational Model Finder

Fixed-Point Arithmetic Modeled in B Software Using Reals

WebASM: An Abstract State Machine Execution Environment for the Web

Modelling Energy Consumption in Embedded Systems with VDM-RT

Validating the RBAC ANSI 2012 Standard Using B

Invariant Guided System Decomposition

The BWare Project: Building a Proof Platform for the Automated Verification of B Proof Obligations

Tuning the Alt-Ergo SMT Solver for B Proof Obligations

Optimizing Alloy for Multi-objective Software Product Line Configuration

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