Search Sciweavers | Sciweavers

1926 search results - page 43 / 386

» Modeling and Model Checking Software Product Lines

114

click to vote

ESEC
1999
Springer

114views Software Engineering» more ESEC 1999»

Using Model Checking to Generate Tests from Requirements Specifications

15 years 9 months ago

Download cs.unibg.it

Angelo Gargantini, Constance L. Heitmeyer

claim paper

Read More »

114

Voted

AMAST
1995
Springer

114views Software Engineering» more AMAST 1995»

Petri Nets, Traces, and Local Model Checking

15 years 8 months ago

Download www.brics.dk

Allan Cheng

claim paper

Read More »

130

Voted

CBSE
2008
Springer

125views Software Engineering» more CBSE 2008»

Model Checking of Control-User Component-Based Parametrised Systems

15 years 7 months ago

Download www.fi.muni.cz

Pavlína Vareková, Ivana Cerná

claim paper

Read More »

115

Voted

FOSSACS
2010
Springer

115views Software Engineering» more FOSSACS 2010»

Model Checking Is Static Analysis of Modal Logic

15 years 3 months ago

Download wiki.ercim.eu

Flemming Nielson, Hanne Riis Nielson

claim paper

Read More »

103

click to vote

AMAST
2004
Springer

85views Software Engineering» more AMAST 2004»

Model-Checking Systems with Unbounded Variables without Abstraction

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers