Search Sciweavers | Sciweavers

1239 search results - page 17 / 248

» Applying Model Checking to Concurrent UML Models

click to vote

IFIP
2010
Springer

170views Programming Languages» more IFIP 2010»

Model Checking of Concurrent Algorithms: From Java to C

13 years 2 months ago

Download staff.aist.go.jp

Concurrent software is difficult to verify. Because the thread schedule is not controlled by the application, testing may miss defects that occur under specific thread schedules. T...

Cyrille Artho, Masami Hagiya, Watcharin Leungwatta...

claim paper

Read More »

click to vote

CAV
2010
Springer

239views Hardware» more CAV 2010»

Model Checking of Linearizability of Concurrent List Implementations

13 years 11 months ago

Download www.cis.upenn.edu

Abstract. Concurrent data structures with ﬁne-grained synchronization are notoriously diﬃcult to implement correctly. The diﬃculty of reasoning about these implementations do...

Pavol Cerný, Arjun Radhakrishna, Damien Zuf...

claim paper

Read More »

click to vote

CLEIEJ
2007

51views more CLEIEJ 2007»

Model Checking Techniques applied to the design of Web Services

13 years 7 months ago

Download www.clei.cl

Gregorio Díaz, María-Emilia Cambrone...

claim paper

Read More »

click to vote

SPIN
2009
Springer

120views Theoretical Computer Science» more SPIN 2009»

Tool Presentation: Teaching Concurrency and Model Checking

14 years 2 months ago

Download stwww.weizmann.ac.il

This paper describes a set of software tools developed for teaching concurrency and model checking. jSpin is an elementary development environment for Spin that formats and ﬁlter...

Mordechai Ben-Ari

claim paper

Read More »

click to vote

FM
2008
Springer

110views Formal Methods» more FM 2008»

A Model Checking Language for Concurrent Value-Passing Systems

13 years 9 months ago

Download hal.inria.fr

Modal

Radu Mateescu, Damien Thivolle

claim paper