Search Sciweavers | Sciweavers

4047 search results - page 50 / 810

» Algebraic Model Checking

261

click to vote

AB
2008
Springer

384views Computational Biology» more AB 2008»

Tutorial on Model Checking: Modelling and Verification in Computer Science

15 years 11 months ago

Download fmv.jku.at

Armin Biere

claim paper

Read More »

117

click to vote

DSN
2005
IEEE

94views Computer Networks» more DSN 2005»

Model Checking Markov Reward Models with Impulse Rewards

15 years 10 months ago

Download pulungan.staff.ugm.ac.id

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

claim paper

Read More »

113

click to vote

CAV
2004
Springer

97views Hardware» more CAV 2004»

Efficient Modeling of Embedded Memories in Bounded Model Checking

15 years 10 months ago

Download www.nec-labs.com

Malay K. Ganai, Aarti Gupta, Pranav Ashar

claim paper

Read More »

114

click to vote

CAV
2001
Springer

74views Hardware» more CAV 2001»

Model Checking with Formula-Dependent Abstract Models

15 years 9 months ago

Download www.inf.tu-dresden.de

Alexander Asteroth, Christel Baier, Ulrich Aß...

claim paper

Read More »

105

Voted

CAV
1999
Springer

85views Hardware» more CAV 1999»

Optimizing Symbolic Model Checking for Constraint-Rich Models

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers