Search Sciweavers | Sciweavers

5216 search results - page 206 / 1044

» Planning as Model Checking

Voted

IANDC
2006

52views more IANDC 2006»

Incompleteness of states w.r.t. traces in model checking

15 years 3 months ago

Download www.math.unipd.it

Cousot and Cousot introduced and studied a general past/future-time specification language, called

Roberto Giacobazzi, Francesco Ranzato

claim paper

Read More »

105

click to vote

CLEIEJ
2007

51views more CLEIEJ 2007»

Model Checking Techniques applied to the design of Web Services

15 years 3 months ago

Download www.clei.cl

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

claim paper

Read More »

click to vote

IPL
2008

61views more IPL 2008»

On the complexity of partial order trace model checking

15 years 3 months ago

Download www.ulb.ac.be

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

claim paper

Read More »

click to vote

JAL
2008

58views more JAL 2008»

Model checking with Boolean Satisfiability

15 years 3 months ago

Download www.cs.bris.ac.uk

João Marques-Silva

claim paper

Read More »

click to vote

JCSS
2006

40views more JCSS 2006»

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

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers