Search Sciweavers | Sciweavers

1138 search results - page 12 / 228

» First-Order Model Checking Problems Parameterized by the Mod...

click to vote

TAPSOFT
1997
Springer

157views Software Engineering» more TAPSOFT 1997»

The Railroad Crossing Problem: Towards Semantics of Timed Algorithms and Their Model Checking in High Level Languages

13 years 11 months ago

Download www.eecs.umich.edu

The goal of this paper is to analyse semantics of algorithms with explicit continuous time with further aim to nd approaches to automatize model checking in high level, easily unde...

Danièle Beauquier, Anatol Slissenko

claim paper

Read More »

click to vote

HYBRID
2007
Springer

110views Control Systems» more HYBRID 2007»

The Image Computation Problem in Hybrid Systems Model Checking

14 years 1 months ago

Download www.trustsoft.uni-oldenburg.de

André Platzer, Edmund M. Clarke

claim paper

Read More »

click to vote

TACAS
2000
Springer

96views Algorithms» more TACAS 2000»

On Memory-Block Traversal Problems in Model-Checking Timed-Systems

13 years 11 months ago

Download www.brics.dk

Fredrik Larsson, Paul Pettersson, Wang Yi

claim paper

Read More »

click to vote

CORR
2006
Springer

80views Education» more CORR 2006»

Dichotomies and Duality in First-order Model Checking Problems

13 years 7 months ago

Download www.irisa.fr

Barnaby Martin

claim paper

Read More »

click to vote

JCSS
2006

40views more JCSS 2006»

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

13 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers