Search Sciweavers | Sciweavers

2875 search results - page 172 / 575

» Model checking agentspeak

106

click to vote

TACAS
1999
Springer

95views Algorithms» more TACAS 1999»

Symbolic Model Checking without BDDs

15 years 7 months ago

Download www.cs.cmu.edu

Armin Biere, Alessandro Cimatti, Edmund M. Clarke,...

claim paper

Read More »

click to vote

CAV
1998
Springer

75views Hardware» more CAV 1998»

MOCHA: Modularity in Model Checking

15 years 7 months ago

Download www.eecs.berkeley.edu

Rajeev Alur, Thomas A. Henzinger, Freddy Y. C. Man...

claim paper

Read More »

120

click to vote

CAV
1998
Springer

84views Hardware» more CAV 1998»

From Pre-historic to Post-modern Symbolic Model Checking

15 years 7 months ago

Download www.cs.huji.ac.il

Thomas A. Henzinger, Orna Kupferman, Shaz Qadeer

claim paper

Read More »

click to vote

CAV
1998
Springer

79views Hardware» more CAV 1998»

Structural Symmetry and Model Checking

15 years 7 months ago

Download infolab.stanford.edu

Gurmeet Singh Manku, Ramin Hojati, Robert K. Brayt...

claim paper

Read More »

Voted

FMCAD
1998
Springer

89views Formal Methods» more FMCAD 1998»

A Performance Study of BDD-Based Model Checking

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers