Search Sciweavers | Sciweavers

2875 search results - page 165 / 575

» Model checking agentspeak

click to vote

FSTTCS
2003
Springer

74views Software Engineering» more FSTTCS 2003»

Real-Time Model-Checking: Parameters Everywhere

15 years 8 months ago

Download www.ulb.ac.be

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

claim paper

Read More »

click to vote

APSEC
2002
IEEE

92views Software Engineering» more APSEC 2002»

Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems

15 years 8 months ago

Download www.win.tue.nl

Natalia Ioustinova, Natalia Sidorova, Martin Steff...

claim paper

Read More »

109

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 7 months ago

Download www.tcs.hut.fi

Timo Latvala

claim paper

Read More »

120

Voted

CAV
2001
Springer

97views Hardware» more CAV 2001»

Symmetry and Reduced Symmetry in Model Checking

15 years 7 months ago

Download research.microsoft.com

A. Prasad Sistla, Patrice Godefroid

claim paper

Read More »

Voted

CHARME
2001
Springer

68views Hardware» more CHARME 2001»

Heuristics for Hierarchical Partitioning with Application to Model Checking

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers