Search Sciweavers | Sciweavers

4341 search results - page 228 / 869

» Quantitative Model checking

Voted

FOSSACS
2010
Springer

115views Software Engineering» more FOSSACS 2010»

Model Checking Is Static Analysis of Modal Logic

14 years 11 months ago

Download wiki.ercim.eu

Flemming Nielson, Hanne Riis Nielson

claim paper

Read More »

Voted

ISSE
2010

343views Security Privacy» more ISSE 2010»

Towards model checking executable UML specifications in mCRL2

14 years 11 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

14 years 11 months ago

Download www.bcs.org

Rachid Hadjidj, Hanifa Boucheneb

claim paper

Read More »

click to vote

JAR
2010

96views more JAR 2010»

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

14 years 11 months ago

Download users.encs.concordia.ca

Perry R. James, Patrice Chalin

claim paper

Read More »

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

14 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers