Sciweavers

2875 search results - page 21 / 575

» Model checking agentspeak

119

KBSE
2010
IEEE

190views Software Engineering» more KBSE 2010»

Eliminating navigation errors in web applications via model checking and runtime enforcement of navigation state machines

15 years 27 days ago

Eliminating navigation errors in web applications via model checking and runtime enforcement of navigation state machines

Download www.leduotang.com

Sylvain Hallé, Taylor Ettema, Chris Bunch, ...

claim paper

Read More »

77

CORR
2009
Springer

85views Education» more CORR 2009»

DiVinE-CUDA - A Tool for GPU Accelerated LTL Model Checking

15 years 24 days ago

DiVinE-CUDA - A Tool for GPU Accelerated LTL Model Checking

Download anna.fi.muni.cz

Jiri Barnat, Lubos Brim, Milan Ceska

claim paper

Read More »

109

ICFEM
2009
Springer

90views Software Engineering» more ICFEM 2009»

A Time-Optimal On-the-Fly Parallel Algorithm for Model Checking of Weak LTL Properties

15 years 22 days ago

A Time-Optimal On-the-Fly Parallel Algorithm for Model Checking of Weak LTL Properties

Download anna.fi.muni.cz

One of the most important open problems of parallel LTL model-checking is to design an on-the-fly scalable parallel algorithm with linear time complexity. Such an algorithm would g...

Jiri Barnat, Lubos Brim, Petr Rockai

claim paper

Read More »

72

ECEASST
2010

116views Computer Vision» more ECEASST 2010»

Algebraic Model Checking

15 years 11 days ago

Algebraic Model Checking

Download fldit-www.cs.uni-dortmund.de

Peter Padawitz

claim paper

Read More »

113

ICFEM
2010
Springer

152views Software Engineering» more ICFEM 2010»

Model Checking Hierarchical Probabilistic Systems

15 years 9 days ago

Model Checking Hierarchical Probabilistic Systems

Download www.sutd.edu.sg

Jun Sun 0001, Songzheng Song, Yang Liu 0003

claim paper

Read More »

« Prev « First page 21 / 575 Last » Next »