Skip to main navigation
Skip to search
Skip to main content
Princeton University Home
Help & FAQ
Link opens in a new tab
Search content at Princeton University
Home
Profiles
Research units
Facilities
Projects
Research output
Press/Media
Verification languages
Aarti Gupta
, Ali Alphan Bayazit
, Yogesh Mahajan
Computer Science
Research output
:
Chapter in Book/Report/Conference proceeding
›
Chapter
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Verification languages'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Accepted Practices
100%
Dynamic Verification
100%
Formal Syntax
100%
Simulation Verification
100%
Computer Science
Support Expression
100%
Written Document
100%
Written Expression
100%