Search Sciweavers | Sciweavers

3224 search results - page 256 / 645

» On Checking Model Checkers

128

click to vote

ECAI
2010
Springer

188views Artificial Intelligence» more ECAI 2010»

On the (Un-)Decidability of Model Checking Resource-Bounded Agents

15 years 6 months ago

Download www.in.tu-clausthal.de

Nils Bulling, Berndt Farwer

claim paper

Read More »

114

click to vote

EPEW
2010
Springer

165views Internet Technology» more EPEW 2010»

A Framework for Relating Timed Transition Systems and Preserving TCTL Model Checking

15 years 6 months ago

Download www.fi.muni.cz

Lasse Jacobsen, Morten Jacobsen, Mikael H. M&oslas...

claim paper

Read More »

129

Voted

FMICS
2008
Springer

104views Formal Methods» more FMICS 2008»

Local Quantitative LTL Model Checking

15 years 6 months ago

Download anna.fi.muni.cz

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

claim paper

Read More »

111

click to vote

FMICS
2008
Springer

143views Formal Methods» more FMICS 2008»

Can Flash Memory Help in Model Checking?

15 years 6 months ago

Download anna.fi.muni.cz

Jiri Barnat, Lubos Brim, Stefan Edelkamp, Damian S...

claim paper

Read More »

147

click to vote

HASE
2008
IEEE

146views Control Systems» more HASE 2008»

Random Relaxation Abstractions for Bounded Reachability Analysis of Linear Hybrid Automata: Distributed Randomized Abstractions

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers