Lecture Notes in Computer Science - Integrated Formal Methods
Latest Publications

TOTAL DOCUMENTS

28
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By Springer International Publishing

9783319668444, 9783319668451
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Analysis of Synchronisations in Stateful Active Objects

2017 ◽  
pp. 195-210 ◽  
Author(s):  
Ludovic Henrio ◽  
Cosimo Laneve ◽  
Vincenzo Mastandrea
Keyword(s):  
Active Objects

VBPMN: Automated Verification of BPMN Processes (Tool Paper)

2017 ◽  
pp. 323-331 ◽  
Author(s):  
Ajay Krishna ◽  
Pascal Poizat ◽  
Gwen Salaün
Keyword(s):  
Automated Verification

scholarly journals Modelling and Verification of Timed Robotic Controllers

2017 ◽  
pp. 18-33 ◽  
Author(s):  
Pedro Ribeiro ◽  
Alvaro Miyazawa ◽  
Wei Li ◽  
Ana Cavalcanti ◽  
Jon Timmis

Formal Verification of ARP (Address Resolution Protocol) Through SMT-Based Model Checking - A Case Study -

2017 ◽  
pp. 391-406 ◽  
Author(s):  
Danilo Bruschi ◽  
Andrea Di Pasquale ◽  
Silvio Ghilardi ◽  
Andrea Lanzi ◽  
Elena Pagani
Keyword(s):  
Model Checking ◽  
Formal Verification ◽  
Address Resolution Protocol

Generalised Test Tables: A Practical Specification Language for Reactive Systems

2017 ◽  
pp. 129-144 ◽  
Author(s):  
Bernhard Beckert ◽  
Suhyun Cha ◽  
Mattias Ulbrich ◽  
Birgit Vogel-Heuser ◽  
Alexander Weigl
Keyword(s):  
Reactive Systems ◽  
Specification Language

An Extension of the ABS Toolchain with a Mechanism for Type Checking SPLs

2017 ◽  
pp. 111-126 ◽  
Author(s):  
Ferruccio Damiani ◽  
Michael Lienhardt ◽  
Radu Muschevici ◽  
Ina Schaefer
Keyword(s):  
Type Checking

Triggerless Happy

2017 ◽  
pp. 295-311 ◽  
Author(s):  
YuTing Chen ◽  
Carlo A. Furia
Load More ...
Sign in / Sign up

Export Citation Format

Share Document