Search Sciweavers | Sciweavers

245 search results - page 2 / 49

» Efficient Symbolic Model Checking for Process Algebras

click to vote

ISSTA
1998
ACM

152views Software Engineering» more ISSTA 1998»

Improving Efficiency of Symbolic Model Checking for State-Based System Requirements

13 years 8 months ago

Download www.cs.washington.edu

We present various techniques for improving the time and space efficiency of symbolic model checking for system requirements specified as synchronous finite state machines. We use...

William Chan, Richard J. Anderson, Paul Beame, Dav...

claim paper

Read More »

click to vote

CAV
2000
Springer

187views Hardware» more CAV 2000»

Combining Decision Diagrams and SAT Procedures for Efficient Symbolic Model Checking

13 years 8 months ago

Download www.cs.cmu.edu

In this paper we show how to do symbolic model checking using Boolean Expression Diagrams (BEDs), a non-canonical representation for Boolean formulas, instead of Binary Decision Di...

Poul Frederick Williams, Armin Biere, Edmund M. Cl...

claim paper

Read More »

click to vote

SIGSOFT
2008
ACM

135views Software Engineering» more SIGSOFT 2008»

Modular verification of web services using efficient symbolic encoding and summarization

14 years 5 months ago

Download www.nec-labs.com

We propose a novel method for modular verification of web service compositions. We first use symbolic fixpoint computations to derive conditions on the incoming messages and relat...

Fang Yu, Chao Wang, Aarti Gupta, Tevfik Bultan

claim paper

Read More »

click to vote

CHARME
2003
Springer

86views Hardware» more CHARME 2003»

On Combining Symmetry Reduction and Symbolic Representation for Efficient Model Checking

13 years 10 months ago