Search Sciweavers | Sciweavers

2873 search results - page 160 / 575

» Model Checking and the Mu-calculus

113

Voted

ERSHOV
2001
Springer

59views Theoretical Computer Science» more ERSHOV 2001»

On Expressive and Model Checking Power of Propositional Program Logics

15 years 8 months ago

Download www.iis.nsk.su

Nikolay V. Shilov, Kwang Yi

claim paper

Read More »

132

click to vote

ESOP
2001
Springer

90views Programming Languages» more ESOP 2001»

On the Completeness of Model Checking

15 years 8 months ago

Download www.math.unipd.it

Francesco Ranzato

claim paper

Read More »

142

Voted

FM
2001
Springer

142views Formal Methods» more FM 2001»

Model-Checking over Multi-valued Logics

15 years 8 months ago

Download www.cs.toronto.edu

Classical logic cannot be used to effectively reason about systems with uncertainty (lack of essential information) or inconsistency (contradictory information often occurring when...

Marsha Chechik, Steve M. Easterbrook, Victor Petro...

claim paper

Read More »

click to vote

FOSSACS
2001
Springer

114views Software Engineering» more FOSSACS 2001»

The Complexity of Model Checking Mobile Ambients

15 years 8 months ago

Download www.it.uu.se

Witold Charatonik, Silvano Dal-Zilio, Andrew D. Go...

claim paper

Read More »

118

click to vote

LOPSTR
2001
Springer

116views Automated Reasoning» more LOPSTR 2001»

Abstract Conjunctive Partial Deduction Using Regular Types and Its Application to Model Checking

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers