Sciweavers

2896 search results - page 183 / 580

» Curricula Modeling and Checking

88

JAL
2008

58views more JAL 2008»

Model checking with Boolean Satisfiability

15 years 5 months ago

Model checking with Boolean Satisfiability

Download www.cs.bris.ac.uk

João Marques-Silva

claim paper

Read More »

100

JCSS
2006

40views more JCSS 2006»

A parametric analysis of the state-explosion problem in model checking

15 years 5 months ago

A parametric analysis of the state-explosion problem in model checking

Download www.liafa.jussieu.fr

Stéphane Demri, François Laroussinie...

claim paper

Read More »

112

Voted

JUCS
2008

159views more JUCS 2008»

Simulation of Timed Abstract State Machines with Predicate Logic Model-Checking

15 years 5 months ago

Simulation of Timed Abstract State Machines with Predicate Logic Model-Checking

Download www.jucs.org

Anatol Slissenko, Pavel Vasilyev

claim paper

Read More »

110

Voted

DT
2007

98views more DT 2007»

Combining Theorem Proving with Model Checking through Predicate Abstraction

15 years 5 months ago

Combining Theorem Proving with Model Checking through Predicate Abstraction

Download www.cs.utexas.edu

Sandip Ray, Rob Sumners

claim paper

Read More »

95

Voted

MST
2008

82views more MST 2008»

Model Checking Abilities of Agents: A Closer Look

15 years 5 months ago

Model Checking Abilities of Agents: A Closer Look

Download www.in.tu-clausthal.de

Wojciech Jamroga, Jürgen Dix

claim paper

Read More »

« Prev « First page 183 / 580 Last » Next »