Search Sciweavers | Sciweavers

374 search results - page 1 / 75

» Using Language Inference to Verify Omega-Regular Properties

click to vote

TACAS
2005
Springer

105views Algorithms» more TACAS 2005»

Using Language Inference to Verify Omega-Regular Properties

14 years 4 months ago

Download osl.cs.uiuc.edu

Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gu...

claim paper

Read More »

click to vote

CONCUR
2009
Springer

157views Distributed And Parallel Com...» more CONCUR 2009»

On Convergence of Concurrent Systems under Regular Interactions

13 years 8 months ago

Download www.cs.illinois.edu

Convergence is often the key liveness property for distributed systems that interact with physical processes. Techniques for proving convergence (asymptotic stability) have been ex...

Pavithra Prabhakar, Sayan Mitra, Mahesh Viswanatha...

claim paper

Read More »

click to vote

KBSE
2005
IEEE

127views Software Engineering» more KBSE 2005»

Learning to verify branching time properties

14 years 4 months ago

Download osl.cs.uiuc.edu

We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the ﬁxpoints necessar...

Abhay Vardhan, Mahesh Viswanathan

claim paper

Read More »

124

click to vote

POPL
2001
ACM

324views Programming Languages» more POPL 2001»

Verifying safety properties of concurrent Java programs using 3-valued logic

14 years 11 months ago

Download www.research.ibm.com

Eran Yahav

claim paper