Search Sciweavers | Sciweavers

2878 search results - page 188 / 576

» Model Checking FTA

111

Voted

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 »

116

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

Download pubs.doc.ic.ac.uk

Harald Fecher, Michael Huth, Nir Piterman, Daniel ...

claim paper

Read More »

Voted

TAICPART
2010
IEEE

137views Education» more TAICPART 2010»

Model-Checking Erlang - A Comparison between EtomCRL2 and McErlang

15 years 1 months ago

Download www2010.taicpart.org

Qiang Guo, John Derrick, Clara Benac Earle, Lars-&...

claim paper

Read More »

109

Voted

TC
2010

87views Information Technology» more TC 2010»

Modular Model Checking of Large Asynchronous Designs with Efficient Abstraction Refinement

15 years 1 months ago

Download www.csee.usf.edu

Hao Zheng, Haiqiong Yao, Tomohiro Yoneda

claim paper

Read More »

click to vote

CACM
2010

70views more CACM 2010»

Performance evaluation and model checking join forces

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers