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

Read-only archive of site from September 29, 2023.

CPS-VO

verification problem

biblio

Visible to the public Deductive Verification of Distributed Protocols in First-Order Logic

Submitted by grigby1 on Tue, 11/12/2019 - 4:30pm
  • infinite-state systems
  • verification problem
  • validity checking
  • Tutorials
  • tools
  • Theorem Proving
  • SMT solvers
  • Safety
  • pubcrawl
  • Protocols
  • protocol verification
  • program verification
  • privacy
  • policy-based governance
  • long standing research goal
  • logical verification conditions
  • automated provers
  • formal verification
  • Formal Specification
  • formal logic
  • first-order logic
  • distributed systems
  • distributed protocols
  • design automation
  • deductive verification approach
  • Computer languages
  • Compositionality
  • composability
  • complex systems
  • collaboration
  • cognition
  • automated theorem provers

Terms of Use  |  ©2023. CPS-VO