Verification languages

Aarti Gupta, Ali Alphan Bayazit, Yogesh Mahajan

Research output: Chapter in Book/Report/Conference proceedingChapter

Abstract

Verification is the process of checking whether a given design is correct with respect to its specification. The specification itself can be in different forms - it can be a nontangible entity such as a designer’s intent, or a document written in a natural language, or expressions written in a formal language. In this chapter, we consider a verification language to be a language with a formal syntax, which supports expression of verification-related tasks. It is very useful for a verification language to have a precise unambiguous semantics. However, we also consider languages where ambiguity in semantics is resolved by accepted practices. Broadly speaking, we focus on the support a verification language provides for dynamic verification based on simulation, as well as static verification based on formal techniques. Though we discuss some high-level behavioral modeling languages also, we highlight their verification-related features. Other details on how they are used for representing higher-level models can be found in other recent articles [1,2].

Original languageEnglish (US)
Title of host publicationEmbedded Systems
Subtitle of host publicationHandbook
PublisherCRC Press
Pages10-1-10-20
ISBN (Electronic)9781420038163
ISBN (Print)9780849328244
DOIs
StatePublished - Jan 1 2005

All Science Journal Classification (ASJC) codes

  • Computer Science(all)
  • Engineering(all)

Fingerprint Dive into the research topics of 'Verification languages'. Together they form a unique fingerprint.

Cite this