Search Sciweavers | Sciweavers

1516 search results - page 44 / 304

» Trends in Software Verification

click to vote

DAC
2002
ACM

114views Computer Architecture» more DAC 2002»

Hole analysis for functional coverage data

14 years 9 months ago

Download www.research.ibm.com

One of the main goals of coverage tools is to provide the user with informative presentation of coverage information. Specifically, information on large, cohesive sets of uncovere...

Oded Lachish, Eitan Marcus, Shmuel Ur, Avi Ziv

claim paper

Read More »

click to vote

ICSE
1992
IEEE-ACM

102views Software Engineering» more ICSE 1992»

A Toolbox for the Verification of LOTOS Programs

14 years 28 days ago

Download ftp.inrialpes.fr

This paper presents the tools Ald

Jean-Claude Fernandez, Hubert Garavel, Laurent Mou...

claim paper

Read More »

click to vote

ATAL
2006
Springer

158views Intelligent Agents» more ATAL 2006»

Automated analysis and verification of agent behavior

14 years 18 days ago

Download www.cs.vu.nl

Comprehending and analyzing agent behavior is an arduous task due to complexities in agent systems and sophistication of agent behaviors, in addition to the common difficulties wi...

Tibor Bosse, Dung N. Lam, K. Suzanne Barber

claim paper

Read More »

click to vote

AMAST
2006
Springer

124views Software Engineering» more AMAST 2006»

Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues

14 years 18 days ago