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

15 years 1 months ago

Download www.bcs.org

Rachid Hadjidj, Hanifa Boucheneb

claim paper

Read More »

106

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 »

112

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 »

104

click to vote

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