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

TOTAL DOCUMENTS

23

(FIVE YEARS 0)

H-INDEX

6

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642104510, 9783642104527

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Mechanized Strategy for Safe Abstraction of CSP Specifications

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

10.1007/978-3-642-10452-7_9 ◽

2009 ◽

pp. 118-133 ◽

Author(s):

Adriana Damasceno ◽

Adalberto Farias ◽

Alexandre Mota

Download Full-text

Partial Behaviour Modelling: Foundations for Incremental and Iterative Model-Based Software Engineering

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

10.1007/978-3-642-10452-7_2 ◽

2009 ◽

pp. 17-22 ◽

Author(s):

Sebastian Uchitel

Keyword(s):

Software Engineering ◽

Behaviour Modelling ◽

Model Based ◽

Iterative Model

Download Full-text

Speeding Up Simulation of SystemC Using Model Checking

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

10.1007/978-3-642-10452-7_1 ◽

2009 ◽

pp. 1-16 ◽

Author(s):

Nicolas Blanc ◽

Daniel Kroening

Keyword(s):

Download Full-text

Towards Safe Design of Synchronous Bus Protocols in Event-B

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

10.1007/978-3-642-10452-7_12 ◽

2009 ◽

pp. 170-185

Author(s):

Ricardo Bedin França ◽

Leandro Buss Becker ◽

Jean-Paul Bodeveix ◽

Jean-Marie Farines ◽

Mamoun Filali

Download Full-text

Concurrent Models of Flash Memory Device Behaviour

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

10.1007/978-3-642-10452-7_6 ◽

2009 ◽

pp. 70-83 ◽

Author(s):

Andrew Butterfield ◽

Art Ó Catháin

Keyword(s):

Flash Memory ◽

Download Full-text

A Simple and General Theoretical Account for Abstract Types

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

10.1007/978-3-642-10452-7_23 ◽

2009 ◽

pp. 336-349

Author(s):

Hongwei Xi

Keyword(s):

Theoretical Account ◽

Download Full-text

An Integrated Formal Methods Tool-Chain and Its Application to Verifying a File System Model

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

10.1007/978-3-642-10452-7_11 ◽

2009 ◽

pp. 153-169 ◽

Author(s):

Miguel Alexandre Ferreira ◽

José Nuno Oliveira

Keyword(s):

Formal Methods ◽

File System ◽

System Model ◽

Download Full-text

Formalizing FreeRTOS: First Steps

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

10.1007/978-3-642-10452-7_8 ◽

2009 ◽

pp. 101-117 ◽

Author(s):

David Déharbe ◽

Stephenson Galvão ◽

Anamaria Martins Moreira

Download Full-text

Concolic Testing of the Multi-sector Read Operation for Flash Memory File System

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

10.1007/978-3-642-10452-7_17 ◽

2009 ◽

pp. 251-265 ◽

Author(s):

Moonzoo Kim ◽

Yunho Kim

Keyword(s):

Flash Memory ◽

File System ◽

Read Operation ◽

Concolic Testing

Download Full-text

Formalisation and Analysis of Objects as CSP Processes

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

10.1007/978-3-642-10452-7_16 ◽

2009 ◽

pp. 236-250

Author(s):

Renata Kaufman ◽

Augusto Sampaio ◽

Alexandre Mota

Download Full-text