Sciweavers

2873 search results - page 183 / 575

» Model Checking and the Mu-calculus

150

CLEIEJ
2007

51views more CLEIEJ 2007»

Model Checking Techniques applied to the design of Web Services

15 years 7 months ago

Model Checking Techniques applied to the design of Web Services

Download www.clei.cl

Gregorio Díaz, María-Emilia Cambrone...

claim paper

Read More »

130

Voted

IPL
2008

61views more IPL 2008»

On the complexity of partial order trace model checking

15 years 7 months ago

On the complexity of partial order trace model checking

Download www.ulb.ac.be

Thierry Massart, Cédric Meuter, Laurent Van...

claim paper

Read More »

113

JAL
2008

58views more JAL 2008»

Model checking with Boolean Satisfiability

15 years 7 months ago

Model checking with Boolean Satisfiability

Download www.cs.bris.ac.uk

João Marques-Silva

claim paper

Read More »

133

Voted

JCSS
2006

40views more JCSS 2006»

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

15 years 7 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 »

146

Voted

JUCS
2008

159views more JUCS 2008»

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

15 years 7 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 »

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