Search Sciweavers | Sciweavers

4167 search results - page 265 / 834

» Regression model checking

112

click to vote

SAC
2008
ACM

125views Applied Computing» more SAC 2008»

Checking the alignment of value-based business models and IT functionality

15 years 3 months ago

Download eprints.eemcs.utwente.nl

Business

Novica Zarvic, Roel Wieringa, Pascal van Eck

claim paper

Read More »

109

click to vote

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 »

111

click to vote

ISSE
2010

343views Security Privacy» more ISSE 2010»

Towards model checking executable UML specifications in mCRL2

15 years 2 months ago

Download www.artist-embedded.org

Helle Hvid Hansen, Jeroen Ketema, Bas Luttik, Moha...

claim paper

Read More »

111

click to vote

STTT
2008

83views more STTT 2008»

Improving state class constructions for CTL* model checking of time Petri nets

15 years 2 months ago

Download www.bcs.org

Rachid Hadjidj, Hanifa Boucheneb

claim paper

Read More »

115

click to vote

JAR
2010

96views more JAR 2010»

Faster and More Complete Extended Static Checking for the Java Modeling Language

15 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers