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
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Read-only archive of site from September 29, 2023.
CPS-VO
first-order logic
biblio
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
biblio
Flow-based conflict detection in OpenFlow networks using first-order logic
Submitted by BrandonB on Tue, 05/05/2015 - 9:50am
Internet architecture
unreachable flows
transport protocols
Proposals
OpenFlow network architecture
OpenFlow controller
network elements
network devices
Media Access Protocol
management plane
knowledge based systems
IP networks
centralization architecture
inference mechanisms
inference engine
Indexes
flow-based conflict detection
first-order logic
control systems
control plane
computer network management
Clean Slate initiative
centralized controller
