Search Sciweavers | Sciweavers

4447 search results - page 50 / 890

» Model Checking Games

170

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 9 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 »

215

click to vote

POPL
2002
ACM

101views Programming Languages» more POPL 2002»

Types as models: model checking message-passing programs

16 years 6 months ago

Download www.cs.cmu.edu

Sagar Chaki, Sriram K. Rajamani, Jakob Rehof

claim paper

Read More »

312

click to vote

AB
2008
Springer

384views Computational Biology» more AB 2008»

Tutorial on Model Checking: Modelling and Verification in Computer Science

16 years 11 days ago

Download fmv.jku.at

Armin Biere

claim paper

Read More »

138

click to vote

DSN
2005
IEEE

94views Computer Networks» more DSN 2005»

Model Checking Markov Reward Models with Impulse Rewards

15 years 11 months ago

Download pulungan.staff.ugm.ac.id

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

claim paper

Read More »

124

click to vote

CAV
2004
Springer

97views Hardware» more CAV 2004»

Efficient Modeling of Embedded Memories in Bounded Model Checking

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers