Search Sciweavers | Sciweavers

2875 search results - page 19 / 575

» Model checking agentspeak

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

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

14 years 10 months ago

Download www2010.taicpart.org

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

claim paper

Read More »

click to vote

TC
2010

87views Information Technology» more TC 2010»

Modular Model Checking of Large Asynchronous Designs with Efficient Abstraction Refinement

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers