Search Sciweavers | Sciweavers

862 search results - page 7 / 173

» Model Checking Interrupt-Dependent Software

click to vote

FMOODS
2007

139views Formal Methods» more FMOODS 2007»

Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model Checking

13 years 9 months ago

Download faculty.uoit.ca

The success of distributed event-based infrastructures such as SIENA and Elvin is partially due to their ease of use. Even novice users of these infrastructures not versed in distr...

L. Ruhai Cai, Jeremy S. Bradbury, Jürgen Ding...

claim paper

Read More »

click to vote

ENTCS
2006

125views more ENTCS 2006»

Parallel Assignments in Software Model Checking

13 years 7 months ago

Download www.contrib.andrew.cmu.edu

In this paper we investigate how formal software verification systems can be improved by utilising parallel assignment in weakest precondition computations.

Murray Stokely, Sagar Chaki, Joël Ouaknine

claim paper

Read More »

click to vote

PST
2008

104views Security Privacy» more PST 2008»

Model-Checking for Software Vulnerabilities Detection with Multi-Language Support

13 years 9 months ago

Download users.encs.concordia.ca

In this paper we develop a security verification framework for open source software with a multi-language support. We base our approach on the GCC compiler which is considered as ...

Rachid Hadjidj, Xiaochun Yang, Syrine Tlili, Moura...

claim paper

Read More »

click to vote

FMCAD
2008
Springer

85views Formal Methods» more FMCAD 2008»

Combining Predicate and Numeric Abstraction for Software Model Checking

13 years 9 months ago

Download www.contrib.andrew.cmu.edu

Arie Gurfinkel, Sagar Chaki

claim paper

Read More »