Search Sciweavers | Sciweavers

1516 search results - page 23 / 304

» Trends in Software Verification

159

click to vote

APSEC
2005
IEEE

95views Software Engineering» more APSEC 2005»

A Lightweight Integration of Theorem Proving and Model Checking for System Verification

16 years 1 months ago

Download www.jaist.ac.jp

Weiqiang Kong, Takahiro Seino, Kokichi Futatsugi, ...

claim paper

Read More »

152

Voted

VSTTE
2005
Springer

156views Software Engineering» more VSTTE 2005»

Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification

16 years 28 days ago

Download vstte.ethz.ch

Mitsuharu Yamamoto, Yoshinori Tanabe, Koichi Takah...

claim paper

Read More »

132

click to vote

VMCAI
2004
Springer

92views Software Engineering» more VMCAI 2004»

Rule-Based Runtime Verification

16 years 24 days ago

Download ti.arc.nasa.gov

Howard Barringer, Allen Goldberg, Klaus Havelund, ...

claim paper

Read More »

154

click to vote

PASTE
1999
ACM

100views Software Engineering» more PASTE 1999»

Using Partial Order Techniques to Improve Performance of Data Flow Analysis Based Verification

15 years 11 months ago

Download www.cs.umass.edu

Gleb Naumovich, Lori A. Clarke, Jamieson M. Coblei...

claim paper

Read More »

140

click to vote

TAPSOFT
1997
Springer

138views Software Engineering» more TAPSOFT 1997»

A Comparison of Modular Verification Techniques

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers