Search Sciweavers | Sciweavers

4341 search results - page 189 / 869

» Quantitative Model checking

click to vote

CCECE
2006
IEEE

202views Electrical And Computer Engi...» more CCECE 2006»

A New Model Checking Approach for Verifying Agent Communication Protocols

14 years 4 months ago

Download users.encs.concordia.ca

Jamal Bentahar, Bernard Moulin, John-Jules Ch. Mey...

claim paper

Read More »

click to vote

LICS
2006
IEEE

157views Automated Reasoning» more LICS 2006»

On Model-Checking Trees Generated by Higher-Order Recursion Schemes

14 years 4 months ago

Download users.comlab.ox.ac.uk

We prove that the modal mu-calculus model-checking problem for (ranked and ordered) node-labelled trees that are generated by order-n recursion schemes (whether safe or not, and w...

C.-H. Luke Ong

claim paper

Read More »

click to vote

LICS
2006
IEEE

84views Automated Reasoning» more LICS 2006»

Temporal Logics and Model Checking for Fairly Correct Systems

14 years 4 months ago

Download www.doc.ic.ac.uk

We motivate and study a generic relaxation of correctness of reactive and concurrent systems with respect to a temporal speciﬁcation. We deﬁne a system to be fairly correct if...

Daniele Varacca, Hagen Völzer

claim paper

Read More »

click to vote

APSEC
2005
IEEE

95views Software Engineering» more APSEC 2005»

A Lightweight Integration of Theorem Proving and Model Checking for System Verification

14 years 4 months ago