Inteum Company
Links
seedsprint
Visible Legacy
RSS
News & Resources
Inteum Company News
Inteum Library
Subscribe
Search Results - mukund+raghothaman
1
Results
Sort By:
Published Date
Updated Date
Title
ID
Descending
Ascending
NetSpec: An Automatic And Fast Network Specification Synthesis Toolkit
A specification-by-example toolkit that generates formal network specifications using only input-output examples. Problem: Many modern computer systems run on networks like cloud clusters or distributed systems. However, the network protocols that support the operation and security of these systems are notoriously difficult to debug. Formal network...
Published: 11/19/2024
|
Inventor(s):
Boon Loo
,
Haoxian Chen
,
Mayur Naik
,
Chenyuan Wu
,
Mukund Raghothaman
Keywords(s):
Software
Category(s):
Technology Classifications > Computer Information Systems