Search Sciweavers | Sciweavers

2875 search results - page 165 / 575

» Model checking agentspeak

118

click to vote

FSTTCS
2003
Springer

74views Software Engineering» more FSTTCS 2003»

Real-Time Model-Checking: Parameters Everywhere

15 years 11 months ago

Download www.ulb.ac.be

Véronique Bruyère, Jean-Franç...

claim paper

Read More »

106

click to vote

APSEC
2002
IEEE

92views Software Engineering» more APSEC 2002»

Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems

15 years 11 months ago

Download www.win.tue.nl

Natalia Ioustinova, Natalia Sidorova, Martin Steff...

claim paper

Read More »

146

click to vote

APN
2001
Springer

94views Artificial Intelligence» more APN 2001»

Model Checking LTL Properties of High-Level Petri Nets with Fairness Constraints

15 years 11 months ago

Download www.tcs.hut.fi

Timo Latvala

claim paper

Read More »

157

click to vote

CAV
2001
Springer

97views Hardware» more CAV 2001»

Symmetry and Reduced Symmetry in Model Checking

15 years 11 months ago

Download research.microsoft.com

A. Prasad Sistla, Patrice Godefroid

claim paper

Read More »

123

click to vote

CHARME
2001
Springer

68views Hardware» more CHARME 2001»

Heuristics for Hierarchical Partitioning with Application to Model Checking

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers