Search Sciweavers | Sciweavers

5216 search results - page 205 / 1044

» Planning as Model Checking

136

click to vote

CSL
2006
Springer

100views Automated Reasoning» more CSL 2006»

Infinite State Model-Checking of Propositional Dynamic Logics

15 years 3 months ago

Download www.informatik.uni-leipzig.de

Model-checking problems for PDL (propositional dynamic logic) and its extension PDL (which includes the intersection operator on programs) over various classes of infinite state sy...

Stefan Göller, Markus Lohrey

claim paper

Read More »

click to vote

IFE
2008

31views more IFE 2008»

An industrial application of symbolic model checking

15 years 3 months ago

Download preibusch.de

Florian Kammüller, Sören Preibusch

claim paper

Read More »

click to vote

ENTCS
2006

122views more ENTCS 2006»

Algorithmic Algebraic Model Checking III: Approximate Methods

15 years 3 months ago

Download cs.nyu.edu

Venkatesh Mysore, Bud Mishra

claim paper

Read More »

click to vote

ENTCS
2006

125views more ENTCS 2006»

Parallel Assignments in Software Model Checking

15 years 3 months ago

Download www.contrib.andrew.cmu.edu

In this paper we investigate how formal software verification systems can be improved by utilising parallel assignment in weakest precondition computations.

Murray Stokely, Sagar Chaki, Joël Ouaknine

claim paper

Read More »

click to vote

FUIN
2006

80views more FUIN 2006»

Update and Abstraction in Model Checking of Knowledge and Branching Time

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers