Search Sciweavers | Sciweavers

4447 search results - page 50 / 890

» Model Checking Games

136

click to vote

CAV
2006
Springer

165views Hardware» more CAV 2006»

Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models: A Case Study

15 years 7 months ago

Download www.cis.upenn.edu

Many multithreaded programs employ concurrent data types to safely share data among threads. However, highly-concurrent algorithms for even seemingly simple data types are difficul...

Sebastian Burckhardt, Rajeev Alur, Milo M. K. Mart...

claim paper

Read More »

174

Voted

POPL
2002
ACM

101views Programming Languages» more POPL 2002»

Types as models: model checking message-passing programs

16 years 3 months ago

Download www.cs.cmu.edu

Sagar Chaki, Sriram K. Rajamani, Jakob Rehof

claim paper

Read More »

246

click to vote

AB
2008
Springer

384views Computational Biology» more AB 2008»

Tutorial on Model Checking: Modelling and Verification in Computer Science

15 years 9 months ago

Download fmv.jku.at

Armin Biere

claim paper

Read More »

104

click to vote

DSN
2005
IEEE

94views Computer Networks» more DSN 2005»

Model Checking Markov Reward Models with Impulse Rewards

15 years 9 months ago

Download pulungan.staff.ugm.ac.id

Lucia Cloth, Joost-Pieter Katoen, Maneesh Khattri,...

claim paper

Read More »

100

click to vote

CAV
2004
Springer

97views Hardware» more CAV 2004»

Efficient Modeling of Embedded Memories in Bounded Model Checking

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers