Search Sciweavers | Sciweavers

ion/refinement solvers1 Andreas Bauer , Martin Leucker , Christian Schallhart , Michael Tautschnig Computer Sciences Laboratory, Australian National University Institut f

Andreas Bauer 0002, Martin Leucker, Christian Scha...

claim paper

Read More »

10

click to vote

STTT
2010

113views more STTT 2010»

Proved development of the real-time properties of the IEEE 1394 Root Contention Protocol with the event-B method

13 years 1 days ago

Download hal.archives-ouvertes.fr

We present a model of the IEEE 1394 Root Contention Protocol with a proof of Safety. This model has real-time properties which are expressed in the language of the event B method: ...

Joris Rehm

claim paper

Read More »

21

click to vote

STTT
2010

115views more STTT 2010»

Scalable shared memory LTL model checking

13 years 3 months ago

Download anna.fi.muni.cz

Recent development in computer hardware has brought more wide-spread emergence of shared memory, multi-core systems. These architectures oﬀer opportunities to speed up various ta...

Jiri Barnat, Lubos Brim, Petr Rockai

claim paper

Read More »

30

click to vote

STTT
2010

126views more STTT 2010»

Towards an industrial grade IVE for Java and next generation research platform for JML

13 years 3 months ago

Download users.encs.concordia.ca

Tool support for the Java Modeling Language (JML) is a very pressing problem. A main issue with current tools is their architecture: the cost of keeping up with the evolution of Ja...

Patrice Chalin, Robby, Perry R. James, Jooyong Lee...

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers