Search Sciweavers | Sciweavers

5216 search results - page 212 / 1044

» Planning as Model Checking

102

Voted

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 »

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 »

click to vote

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 »

108

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

Sciweavers

Explore & Download

Productivity Tools

Sciweavers