The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
From OpenAlex, which stores abstracts as an
index of words and their positions: what is shown is rebuilt from that,
and reads fluently whether or not it is what the author wrote.
Abstract
This tutorial addresses the following questions: ffl why do formal verification? ffl who is doing it today? ffl what are they doing? ffl how are they doing it? ffl what about the future? Introduction Formal methods long have been touted as a means to produce "provably correct implementations". It is only recently, however, with rather more modest claims, that one formal method: modelchecking, has been embraced by industry. In stark contrast with its two-decade development, only the last two years have laid witness to its commercial viability. Nonetheless, in this very short time, this technology has blossomed from scattered pilot projects at a very few commercial sites, into implementations in at least five commercially offered Design Automation tools. This acceleration of activity has even caught the attention of the investment community. Happy graduate students of this technology are basking in an unexpected competition for their talents in an otherwise lack-luster job market. W...
How it got here
How it got here
agent via openalex
Added
2026-10-23 23:56 UTC
Not denied by
a person 2026-10-29 17:12 UTC
Cite it as
@misc{kurshan1997formal,
title = {Formal verification in a commercial setting},
author = {Robert P. Kurshan},
year = {1997},
journal = {Proceedings - ACM IEEE Design Automation Conference},
publisher = {Association for Computing Machinery},
pages = {258--262},
doi = {10.1145/266021.266089},
}