MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Generator-based Verification." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

6 documents found, showing 1 through 6.

ATOM

Generator-based verification
by Yunshan Zhu — In Proceedings of ICCAD 2003
…ABSTRACT Generator-based Verification Yunshan Zhu Advanced Technology Group Synopsys, Inc…
Cited by 4 (0 self) – Add To MetaCart

An Overview of the Eucalyptus Toolbox
by H. Garavel, Inria Rhone-alpes Verimag — 1996 — University of Maribor
… Generation based on Verification) [14, 15] takes as inputs an Lts and an automaton formalizing…
Cited by 19 (4 self) – Add To MetaCart

Using on-the-Fly Verification Techniques for the Generation of Test Suites
by Jean-Claude Fernandez, Claude Jard, Thierry Jéron, César Viho — 1996
… a good example of transfer from verification to testing. The test generator, based on verification…
Cited by 43 (3 self) – Add To MetaCart

Project-Team VASY Validation of Systems Rhône-Alpes
by Theme C
… automata, and TGV (Test Generation based on Verification) generates conformance tests according to user…
Add To MetaCart

Project-Team VASY Validation of Systems Rhône-Alpes
by Theme Com
…, such as ALDÉBARAN and TGV (Test Generation based on Verification) developed by the VERIMAG laboratory (Grenoble…
Add To MetaCart

CADP'97 - Status, Applications and Perspectives
by H. Garavel, M. Jorgensen, R. Mateescu, Ch. Pecheur, M. Sighireanu, B. Vivien, Inria Rhone-alpes, Dyade Vasy Group — 1997 — in I. Lovrek (Ed.), Proceedings of the 2nd COST 247 International Workshop on Applied Formal Methods in System Design
… Generation based on Verification 3 eXecutable Temporal Language ffl The development of a prototype…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 6.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB