Search Sciweavers | Sciweavers

1376 search results - page 53 / 276

» Model-Driven Software Verification

127

click to vote

VSTTE
2005
Springer

156views Software Engineering» more VSTTE 2005»

Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification

15 years 11 months ago

Download vstte.ethz.ch

Mitsuharu Yamamoto, Yoshinori Tanabe, Koichi Takah...

claim paper

Read More »

111

click to vote

VMCAI
2004
Springer

92views Software Engineering» more VMCAI 2004»

Rule-Based Runtime Verification

15 years 11 months ago

Download ti.arc.nasa.gov

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

claim paper

Read More »

127

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

Download www.cs.umass.edu

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

claim paper

Read More »

115

click to vote

TAPSOFT
1997
Springer

138views Software Engineering» more TAPSOFT 1997»

A Comparison of Modular Verification Techniques

15 years 10 months ago

Download www.configit.com

Henrik Reif Andersen, Jørgen Staunstrup, Ni...

claim paper

Read More »

142

click to vote

ICFEM
2007
Springer

76views Software Engineering» more ICFEM 2007»

From Model-Based Design to Formal Verification of Adaptive Embedded Systems

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers