Work

VIS: A system for verification and synthesis

Year: 1996

Type: conference-paper

Source: Lecture notes in computer science

Parent work: Computer Aided Verification: 8th International Conference, CAV '96 New Brunswick, NJ, USA, July 31– August 3, 1996 Proceedings

DOI: 10.1007/3-540-61474-5_95

Authors: Robert K. Brayton, Gary D. Hachtel, Alberto Sangiovanni-Vincentelli, Fabio Somenzi, Adnan Aziz, Szu -Tsung Cheng, Stephen Edwards, Sunil Khatri, Yuji Kukimoto, Abelardo Pardo, Shaz Qadeer, Rajeev K. Ranjan, Shaker Sarwary, Thomas R. Staple, Gitanjali Swamy, Tiziano Villa

Institutions: University of California System, University of California, Berkeley, University of Colorado Boulder, Lattice Semiconductor (United States)

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1822320350

FWCI: 23.53

Cites: 4

Cited by: 585

Related to: 10