Skip to Main Content Area
  • CPS-VO
    • Contact Support
  • Browse
    • Calendar
    • Announcements
    • Repositories
    • Groups
  • Search
    • Search for Content
    • Search for a Group
    • Search for People
    • Search for a Project
    • Tagcloud
      
 
Not a member?
Click here to register!
Forgot username or password?
 
Home
National Science Foundation

Cyber-Physical Systems Virtual Organization

Fostering collaboration among CPS professionals in academia, government, and industry

CPS-VO

formal verification technology

biblio

Visible to the public Formal Verification Technology for Asynchronous Communication Protocol

Submitted by grigby1 on Tue, 11/12/2019 - 3:29pm
  • aerospace FPGA software products
  • assert
  • asynchronous communication
  • asynchronous communication protocol
  • blind spots
  • Clocks
  • collaboration
  • complete verification process
  • composability
  • Compositionality
  • field programmable gate arrays
  • formal verification
  • formal verification technology
  • policy-based governance
  • privacy
  • process control
  • Product design
  • product design quality
  • property
  • protocol verification
  • Protocols
  • PSL
  • pubcrawl
  • Software
  • traditional simulation method
  • UART communication
  • verification work efficiency

Terms of Use  |  ©2021. CPS-VO