Search Sciweavers | Sciweavers

2836 search results - page 10 / 568

» Model Checking for Software Architectures

click to vote

DAC
1996
ACM

108views Computer Architecture» more DAC 1996»

Word Level Model Checking - Avoiding the Pentium FDIV Error

13 years 11 months ago

Download www.cs.cmu.edu

Edmund M. Clarke, Manpreet Khaira, Xudong Zhao

claim paper

Read More »

click to vote

VSTTE
2005
Springer

98views Software Engineering» more VSTTE 2005»

Model Checking: Back and Forth between Hardware and Software

14 years 5 days ago

Download www.cs.cmu.edu

The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...

Edmund M. Clarke, Anubhav Gupta, Himanshu Jain, He...

claim paper

Read More »

click to vote

ICSE
2007
IEEE-ACM

110views Software Engineering» more ICSE 2007»

On Accurate Automatic Verification of Publish-Subscribe Architectures

14 years 6 months ago

Download www.sics.se

The paper presents a novel approach based on Bogor for the accurate verification of applications based on PublishSubscribe infrastructures. Previous efforts adopted standard model...

Luciano Baresi, Carlo Ghezzi, Luca Mottola

claim paper

Read More »

click to vote

VSTTE
2005
Springer

78views Software Engineering» more VSTTE 2005»

Model-Checking Software Using Precise Abstractions

14 years 5 days ago

Download vstte.ethz.ch

Marsha Chechik, Arie Gurfinkel

claim paper

Read More »