Search Sciweavers | Sciweavers

2873 search results - page 145 / 575

» Model Checking and the Mu-calculus

131

click to vote

DDECS
2008
IEEE

111views Hardware» more DDECS 2008»

Probabilistic Model Checking and Reliability of Results

16 years 19 days ago

Download ira.informatik.uni-freiburg.de

Ralf Wimmer, Alexander Kortus, Marc Herbstritt, Be...

claim paper

Read More »

138

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 17 days ago

Download www.carstensinz.de

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

claim paper

Read More »

133

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 15 days ago

Download ira.informatik.uni-freiburg.de

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

claim paper

Read More »

122

click to vote

SOCA
2007
IEEE

107views Applied Computing» more SOCA 2007»

A Model Checking Approach to Verify BPEL4WS Workflows

16 years 13 days ago

Download www.inf.usi.ch

Domenico Bianculli, Carlo Ghezzi, Paola Spoletini

claim paper

Read More »

146

click to vote

TIME
2007
IEEE

93views Automated Reasoning» more TIME 2007»

Model Checking Branching Time Logics

16 years 13 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers