Search Sciweavers | Sciweavers

3147 search results - page 218 / 630

» Open-Source Model Checking

click to vote

FOSSACS
2010
Springer

115views Software Engineering» more FOSSACS 2010»

Model Checking Is Static Analysis of Modal Logic

15 years 1 months ago

Download wiki.ercim.eu

Flemming Nielson, Hanne Riis Nielson

claim paper

Read More »

click to vote

ISSE
2010

343views Security Privacy» more ISSE 2010»

Towards model checking executable UML specifications in mCRL2

15 years 1 months ago

Download www.artist-embedded.org

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

claim paper

Read More »

click to vote

STTT
2008

83views more STTT 2008»

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

15 years 1 months ago

Download www.bcs.org

Rachid Hadjidj, Hanifa Boucheneb

claim paper

Read More »

108

click to vote

JAR
2010

96views more JAR 2010»

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

15 years 1 months ago

Download users.encs.concordia.ca

Perry R. James, Patrice Chalin

claim paper

Read More »

114

click to vote

PE
2010
Springer

180views Optimization» more PE 2010»

PCTL model checking of Markov chains: Truth and falsity as winning strategies in games

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers