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

15 years 17 days 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

15 years 9 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

15 years 9 months ago

Download www.comp.nus.edu.sg

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

claim paper

Read More »

109

click to vote

ICFEM
2009
Springer

103views Software Engineering» more ICFEM 2009»

Improving Automatic Verification of Security Protocols with XOR

15 years 17 days ago

Download satoss.uni.lu

Abstract. K

Xihui Chen, Ton van Deursen, Jun Pang

claim paper

Read More »

100

click to vote

ICFEM
2009
Springer

94views Software Engineering» more ICFEM 2009»

RAFFS: Model Checking a Robust Abstract Flash File Store

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers