Search Sciweavers | Sciweavers

3147 search results - page 175 / 630

» Open-Source Model Checking

148

click to vote

KBSE
2008
IEEE

150views Software Engineering» more KBSE 2008»

Reducing False Positives by Combining Abstract Interpretation and Bounded Model Checking

16 years 1 months ago

Download www.carstensinz.de

Hendrik Post, Carsten Sinz, Alexander Kaiser, Thom...

claim paper

Read More »

153

click to vote

DDECS
2007
IEEE

103views Hardware» more DDECS 2007»

On Variable Selection in SAT-LP-based Bounded Model Checking of Linear Hybrid Automata

16 years 1 months ago

Download ira.informatik.uni-freiburg.de

Marc Herbstritt, Bernd Becker, Erika Ábrah&...

claim paper

Read More »

133

click to vote

SOCA
2007
IEEE

107views Applied Computing» more SOCA 2007»

A Model Checking Approach to Verify BPEL4WS Workflows

16 years 1 months ago

Download www.inf.usi.ch

Domenico Bianculli, Carlo Ghezzi, Paola Spoletini

claim paper

Read More »

163

click to vote

TIME
2007
IEEE

93views Automated Reasoning» more TIME 2007»

Model Checking Branching Time Logics

16 years 1 months ago

Download www.lsv.ens-cachan.fr

Ph. Schnoebelen

claim paper

Read More »

115

click to vote

ATVA
2007
Springer

91views Hardware» more ATVA 2007»

Model Checking Contracts - A Case Study

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers