Search Sciweavers | Sciweavers

2875 search results - page 18 / 575

» Model checking agentspeak

click to vote

CORR
2008
Springer

110views Education» more CORR 2008»

The Tractability of Model-Checking for LTL: The Good, the Bad, and the Ugly Fragments

13 years 7 months ago

Download www.minet.uni-jena.de

In a seminal paper from 1985, Sistla and Clarke showed that the model-checking problem for Linear Temporal Logic (LTL) is either NP-complete or PSPACE-complete, depending on the se...

Michael Bauland, Martin Mundhenk, Thomas Schneider...

claim paper

Read More »

click to vote

ENTCS
2008

97views more ENTCS 2008»

Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE

13 years 7 months ago

Download anna.fi.muni.cz

Jiri Barnat, Lubos Brim, Ivana Cerná, Sven ...

claim paper

Read More »

click to vote

SAC
2008
ACM

125views Applied Computing» more SAC 2008»

Checking the alignment of value-based business models and IT functionality

13 years 7 months ago

Download eprints.eemcs.utwente.nl

Business

Novica Zarvic, Roel Wieringa, Pascal van Eck

claim paper

Read More »

click to vote

FOSSACS
2010
Springer

115views Software Engineering» more FOSSACS 2010»

Model Checking Is Static Analysis of Modal Logic

13 years 6 months ago

Download wiki.ercim.eu

Flemming Nielson, Hanne Riis Nielson

claim paper

Read More »

click to vote

ISSE
2010

343views Security Privacy» more ISSE 2010»

Towards model checking executable UML specifications in mCRL2

13 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers