Search Sciweavers | Sciweavers

12981 search results - page 235 / 2597

» Model Checking (Abstract)

151

click to vote

ICECCS
2007
IEEE

115views Hardware» more ICECCS 2007»

On-the-fly model checking for C programs with extended CADP in FMICS-jETI

15 years 10 months ago

Download users.dsic.upv.es

A current trend in the software engineering community is to integrate different tools in a friendly and powerful development environment for use by final users. This is also the c...

María-del-Mar Gallardo, Pedro Merino, Chris...

claim paper

Read More »

182

click to vote

AINA
2004
IEEE

174views Computer Networks» more AINA 2004»

Formal Verification of PAP and EAP-MD5 Protocols in Wireless Networks: FDR Model Checking

15 years 10 months ago

Download www.irisa.fr

IEEE 802.1x and authentication server based security protocols are mainly used for enhancing security of wireless networks. In this paper, we specify PAP and EAP-MD5 based securit...

Il-Gon Kim, Jin-Young Choi

claim paper

Read More »

154

click to vote

COMPSAC
2004
IEEE

138views Software Engineering» more COMPSAC 2004»

Generating Regression Tests via Model Checking

15 years 10 months ago

Download eagle.csie.ntut.edu.tw

Lihua Xu, Marcio S. Dias, Debra J. Richardson

claim paper