Sciweavers

2872 search results - page 9 / 575

» On (Omega-)Regular Model Checking

66

ATVA
2005
Springer

142views Hardware» more ATVA 2005»

Algorithmic Algebraic Model Checking II: Decidability of Semi-algebraic Model Checking and Its Applications to Systems Biology

15 years 3 months ago

Algorithmic Algebraic Model Checking II: Decidability of Semi-algebraic Model Checking and Its Applications to Systems Biology

Download cs.nyu.edu

Venkatesh Mysore, Carla Piazza, Bud Mishra

claim paper

Read More »

62

FBT
2000

139views Formal Methods» more FBT 2000»

Model Checking and Random Competition - A Study Using the Model Checking Framework MIC

14 years 11 months ago

Model Checking and Random Competition - A Study Using the Model Checking Framework MIC

Download www4.in.tum.de

Alexander K. Wißpeintner, Franz Huber, Jan P...

claim paper

Read More »

99

MOVEP
2000

167views Hardware» more MOVEP 2000»

Model Checking: A Tutorial Overview

15 years 1 months ago

Model Checking: A Tutorial Overview

Download www.spinroot.com

We survey principles of model checking techniques for the automatic analysis of reactive systems. The use of model checking is exemplified by an analysis of the Needham-Schroeder p...

Stephan Merz

claim paper

Read More »

83

LPAR
2005
Springer

91views Automated Reasoning» more LPAR 2005»

Pushdown Module Checking

15 years 3 months ago

Pushdown Module Checking

Download people.na.infn.it

Model checking is a useful method to verify automatically the correctness of a system with respect to a desired behavior, by checking whether a mathematical model of the system sat...

Laura Bozzelli, Aniello Murano, Adriano Peron

claim paper

Read More »

63

IPL
2006

86views more IPL 2006»

Mu-calculus path checking

14 years 10 months ago

Mu-calculus path checking

Download www.lsv.ens-cachan.fr

We investigate the path model checking problem for the

Nicolas Markey, Ph. Schnoebelen

claim paper

Read More »

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