Search Sciweavers | Sciweavers

5863 search results - page 28 / 1173

» On Model-Checking of P Systems

101

click to vote

SOFSEM
2007
Springer

93views Theoretical Computer Science» more SOFSEM 2007»

Model-Checking Large Finite-State Systems and Beyond

15 years 9 months ago

Download www.sofsem.cz

Lubos Brim, Mojmír Kretínský

claim paper

Read More »

101

Voted

APSEC
2005
IEEE

95views Software Engineering» more APSEC 2005»

A Lightweight Integration of Theorem Proving and Model Checking for System Verification

15 years 9 months ago

Download www.jaist.ac.jp

Weiqiang Kong, Takahiro Seino, Kokichi Futatsugi, ...

claim paper

Read More »

126

click to vote

CAV
2005
Springer

101views Hardware» more CAV 2005»

Algorithmic Algebraic Model Checking I: Challenges from Systems Biology

15 years 8 months ago

Download cs.nyu.edu

Carla Piazza, Marco Antoniotti, Venkatesh Mysore, ...

claim paper

Read More »

111

click to vote

FOSSACS
2005
Springer

106views Software Engineering» more FOSSACS 2005»

Model Checking Durational Probabilistic Systems

15 years 8 months ago

Download www.lsv.ens-cachan.fr

François Laroussinie, Jeremy Sproston

claim paper

Read More »

Voted

AMAST
2004
Springer

85views Software Engineering» more AMAST 2004»

Model-Checking Systems with Unbounded Variables without Abstraction

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers