Search Sciweavers | Sciweavers

32032 search results - page 101 / 6407

» Verified programming in Guru

114

click to vote

FSTTCS
2004
Springer

89views Software Engineering» more FSTTCS 2004»

Actively Learning to Verify Safety for FIFO Automata

15 years 11 months ago

Download osl.cs.uiuc.edu

Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gu...

claim paper

Read More »

143

click to vote

ICSE
2004
IEEE-ACM

112views Software Engineering» more ICSE 2004»

Behavior Capture and Test for Verifying Evolving Component-Based Systems

15 years 11 months ago

Download www.lta.disco.unimib.it

Leonardo Mariani

claim paper

Read More »

122

click to vote

ICTAC
2004
Springer

87views Applied Computing» more ICTAC 2004»

Verifying Linear Duration Constraints of Timed Automata

15 years 11 months ago

Download www.iist.unu.edu

Pham Hong Thai, Dang Van Hung

claim paper

Read More »

121

click to vote

WISA
2004
Springer

120views Security Privacy» more WISA 2004»

Fair Offline Payment Using Verifiable Encryption

15 years 11 months ago

Download dasan.sejong.ac.kr

Sangjin Kim, Heekuck Oh

claim paper

Read More »

101

click to vote

TPHOL
2003
IEEE

125views Automated Reasoning» more TPHOL 2003»

Using Coq to Verify Java Card Applet Isolation Properties

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers