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 2 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

13 years 11 months 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

13 years 11 months 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 2 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

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers