Volume 13, Issue 5 | International Journal on Software Tools for Technology Transfer

Search all International Journal on Software Tools for Technology Transfer articles

Volume 13, Issue 5

October 2011

VSTTE 2009

Filter by

Volume:

Sort by

Date published:

New to old Old to new

6 articles in this issue

Deductive software verification
Jean-Christophe Filliâtre
Introduction 20 August 2011 Pages: 397 - 403
Functional dependencies of C functions via weakest pre-conditions
Pascal Cuoq
Benjamin Monate
Virgile Prevosto
VSTTE 2009-2010 18 March 2011 Pages: 405 - 417
SMT solvers: new oracles for the HOL theorem prover
Tjark Weber
VSTTE 2009-2010 25 February 2011 Pages: 419 - 429
Scenario-based testing from UML/OCL behavioral models
Kalou Cabrera Castillos
Frédéric Dadeau
Jacques Julliand
VSTTE 2009-2010 25 February 2011 Pages: 431 - 448
An interval-based SAT modulo ODE solver for model checking nonlinear hybrid systems
Daisuke Ishii
Kazunori Ueda
Hiroshi Hosobe
VSTTE 2009-2010 19 March 2011 Pages: 449 - 461
Formal methods for security in the Xenon hypervisor
Leo Freitas
John McDermott
VSTTE 2009-2010 21 May 2011 Pages: 463 - 489