Lecture Notes in Computer Science - Formal Methods: Foundations and Applications
Latest Publications

TOTAL DOCUMENTS

16

(FIVE YEARS 0)

H-INDEX

2

(FIVE YEARS 0)

Published By Springer International Publishing

9783030030438, 9783030030445

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Constraint Reusing and k-Induction for Three-Valued Bounded Model Checking

Lecture Notes in Computer Science - Formal Methods: Foundations and Applications ◽

10.1007/978-3-030-03044-5_9 ◽

2018 ◽

pp. 126-143

Author(s):

Nils Timm ◽

Stefan Gruner ◽

Matthias Harvey

Keyword(s):

Model Checking ◽

Bounded Model Checking

Download Full-text

Automatic Test Case Generation for Concurrent Features from Natural Language Descriptions

Lecture Notes in Computer Science - Formal Methods: Foundations and Applications ◽

10.1007/978-3-030-03044-5_11 ◽

2018 ◽

pp. 163-179

Author(s):

Rafaela Almeida ◽

Sidney Nogueira ◽

Augusto Sampaio

Keyword(s):

Natural Language ◽

Test Case Generation ◽

Test Case ◽

Automatic Test ◽

Automatic Test Case Generation

Download Full-text

Formal Design of Cloud Computing Systems in Maude

Lecture Notes in Computer Science - Formal Methods: Foundations and Applications ◽

10.1007/978-3-030-03044-5_2 ◽

2018 ◽

pp. 5-19

Author(s):

José Meseguer

Keyword(s):

Cloud Computing ◽

Computing Systems ◽

Download Full-text

VDM at Large: Modelling the EMV® $$2^{nd}$$2nd Generation Kernel

Lecture Notes in Computer Science - Formal Methods: Foundations and Applications ◽

10.1007/978-3-030-03044-5_8 ◽

2018 ◽

pp. 109-125

Author(s):

Leo Freitas

Keyword(s):

Download Full-text

Analysing RoboChart with Probabilities

Lecture Notes in Computer Science - Formal Methods: Foundations and Applications ◽

10.1007/978-3-030-03044-5_13 ◽

2018 ◽

pp. 198-214 ◽

Author(s):

M. S. Conserva Filho ◽

R. Marinho ◽

A. Mota ◽

J. Woodcock

Download Full-text

A Type-Directed Algorithm to Generate Well-Typed Featherweight Java Programs

Lecture Notes in Computer Science - Formal Methods: Foundations and Applications ◽

10.1007/978-3-030-03044-5_4 ◽

2018 ◽

pp. 39-55

Author(s):

Samuel S. Feitosa ◽

Rodrigo Geraldo Ribeiro ◽

Andre Rauber Du Bois

Keyword(s):

Download Full-text

Source Code Analysis with a Temporal Extension of First-Order Logic

Lecture Notes in Computer Science - Formal Methods: Foundations and Applications ◽

10.1007/978-3-030-03044-5_3 ◽

2018 ◽

pp. 20-38

Author(s):

David Come ◽

Julien Brunel ◽

David Doose

Keyword(s):

Source Code ◽

Order Logic ◽

First Order Logic ◽

Source Code Analysis ◽

Code Analysis ◽

Download Full-text

Programming Language Foundations in Agda

Lecture Notes in Computer Science - Formal Methods: Foundations and Applications ◽

10.1007/978-3-030-03044-5_5 ◽

2018 ◽

pp. 56-73 ◽

Author(s):

Philip Wadler

Keyword(s):

Programming Language

Download Full-text

Safe and Constructive Design with UML Components

Lecture Notes in Computer Science - Formal Methods: Foundations and Applications ◽

10.1007/978-3-030-03044-5_15 ◽

2018 ◽

pp. 234-251

Author(s):

Flávia Falcão ◽

Lucas Lima ◽

Augusto Sampaio

Download Full-text

The Pragmatic Dimension of Formal Methods: Towards Building a Sound Synthesiser

Lecture Notes in Computer Science - Formal Methods: Foundations and Applications ◽

10.1007/978-3-030-03044-5_1 ◽

2018 ◽

pp. 1-4

Author(s):

Alexandre Mota

Keyword(s):

Formal Methods ◽

Pragmatic Dimension

Download Full-text