Search Sciweavers | Sciweavers

1199 search results - page 15 / 240

» Software Verification and Software Engineering a Practitione...

112

click to vote

SEFM
2009
IEEE

151views Software Engineering» more SEFM 2009»

Completeness of Pointer Program Verification by Separation Logic

15 years 10 months ago

Download research.nii.ac.jp

Makoto Tatsuta, Wei-Ngan Chin, Mahmudul Faisal Al ...

claim paper

Read More »

107

click to vote

KBSE
2008
IEEE

128views Software Engineering» more KBSE 2008»

Architecture support for runtime integration and verification of component-based Systems of Systems

15 years 10 months ago

Download swerl.tudelft.nl

Alberto González 0002, Éric Piel, Ha...

claim paper

Read More »

105

click to vote

ICSEA
2007
IEEE

92views Software Engineering» more ICSEA 2007»

Verification Algorithm of Evidence Life Cycles in Extended UML Activity Diagrams

15 years 10 months ago

Download unit.aist.go.jp

Osamu Takaki, Takahiro Seino, Izumi Takeuti, Noria...

claim paper

Read More »

106

click to vote

APSEC
2005
IEEE

95views Software Engineering» more APSEC 2005»

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

15 years 9 months ago

Download www.jaist.ac.jp

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

claim paper

Read More »

104

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

Sciweavers

Explore & Download

Productivity Tools

Sciweavers