MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Verification Languages." – sorted by Relevance.

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

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

188 documents found, showing 1 through 10. Next 10 →

ATOM

Design and Verification languages
by Stephen A. Edwards — 2004
…-called verification languages have arisen. These have been designed to assist in a simulation-based or formal…
Cited by 1 (0 self) – Add To MetaCart

Design and Verification Languages
by unknown authors — 2004
… Design and Verification Languages Stephen A. EdwardsDepartment of Computer Science Columbia…
Add To MetaCart

Verification of language based fault-tolerance
by Clara Benac Earle, Lars- ˚ake Fredlund — 2005 — In EUROCAST
…Abstract Verification of Language Based Fault-Tolerance Clara Benac Earle 1 and Lars- ˚Ake…
Cited by 1 (0 self) – Add To MetaCart

HDVL + = (HDL & HVL) SystemVerilog 3.1 The Hardware Description AND Verification Language
by Stuart Sutherland, Don Mills
…HDVL += (HDL & HVL) SystemVerilog 3.1 The Hardware Description AND Verification Language Stuart…
Add To MetaCart

The Use of Language Projection for Compositional Verification of Discrete Event Systems
by Simon Ware, Robi Malik
…The Use of Language Projection for Compositional Verification of Discrete Event Systems Simon Ware…
Add To MetaCart

The Cognitive Agents Specification Language and Verification Environment for Multiagent Systems
by Steven Shapiro, Yves Lesperance, Yves Lesp Erance, Hector J. Levesque
…The Cognitive Agents Specification Language and Verification Environment for Multiagent Systems…
Cited by 14 (5 self) – Add To MetaCart

A Hybrid Language for Modeling, Simulation and Verification
by R. R. H. Schiffelers, D.A. van Beek, K.L. Man, M.A. Reniers, J. E. Rooda — 2003 — IFAC Conference on Analysis and Design of Hybrid Systems, Saint-Malo, Brittany
…A HYBRID LANGUAGE FOR MODELING, SIMULATION AND VERIFICATION R.R.H. Schiffelers # D.A. van Beek # K…
Cited by 7 (2 self) – Add To MetaCart

J.E.: A hybrid language for modeling, simulation and verification
by R. R. H. Schiffelers, D. A. Beek, K. L. Man, M. A. Reniers, J. E. Rooda — 2003 — IFAC Conference on Analysis and Design of Hybrid Systems, Saint-Malo, Brittany
…A HYBRID LANGUAGE FOR MODELING, SIMULATION AND VERIFICATION R.R.H. Schiffelers ∗ D.A. van Beek ∗ K…
Cited by 2 (2 self) – Add To MetaCart

From Code to Models
by Gerard J. Holzmann — 2000
… verdict to design a system twice: once in a verification language and once in an implementation language…
Cited by 20 (0 self) – Add To MetaCart

This is Boogie 2
by K. Rustan, M. Leino — 2008
…@(email omitted); Manuscript KRML 178, working draft 24 June 2008. Abstract. Boogie is an intermediate verification language…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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