Search Sciweavers | Sciweavers

24 search results - page 1 / 5

» icfem 2009

click to vote

ICFEM
2009
Springer

83views Software Engineering» more ICFEM 2009»

A Verification System for Distributed Objects with Asynchronous Method Calls

13 years 3 months ago

Download www.mpi-inf.mpg.de

Wolfgang Ahrendt, Maximilian Dylla

claim paper

Read More »

click to vote

ICFEM
2009
Springer

114views Software Engineering» more ICFEM 2009»

European Train Control System: A Case Study in Formal Verification

14 years 9 days ago

Download www.avacs.org

André Platzer, Jan-David Quesel

claim paper

Read More »

click to vote

ICFEM
2009
Springer

80views Software Engineering» more ICFEM 2009»

Verifying Stateful Timed CSP Using Implicit Clocks and Zone Abstraction

14 years 9 days ago

Download www.comp.nus.edu.sg

Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Xian Z...

claim paper

Read More »

click to vote

ICFEM
2009
Springer

103views Software Engineering» more ICFEM 2009»

Improving Automatic Verification of Security Protocols with XOR

13 years 3 months ago

Download satoss.uni.lu

Abstract. K

Xihui Chen, Ton van Deursen, Jun Pang

claim paper

Read More »

click to vote

ICFEM
2009
Springer

94views Software Engineering» more ICFEM 2009»

RAFFS: Model Checking a Robust Abstract Flash File Store

14 years 9 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers