Skip to main navigation
Skip to search
Skip to main content
Illinois Experts Home
LOGIN & Help
Link opens in a new tab
Search content at Illinois Experts
Home
Profiles
Research units
Research & Scholarship
Datasets
Honors
Press/Media
Activities
Verisim: Formal analysis of network simulations
Karthikeyan Bhargavan
,
Carl A. Gunter
, Moonjoo Kim
, Insup Lee
, Davor Obradovic
, Oleg Sokolsky
,
Mahesh Viswanathan
Information Trust Institute
Siebel School of Computing and Data Science
Research output
:
Contribution to journal
›
Article
›
peer-review
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Verisim: Formal analysis of network simulations'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Extended Form
100%
Performance Evaluation
100%
Monitoring System
100%
Significant Properties
100%
Network Events
100%
Communication Protocol
100%
Routing Protocol
100%
Network Simulation
100%
Formal Analysis
100%
On-demand Distance Vector
100%
Safety Properties
100%
Event Traces
100%
Linear Temporal Logic
100%
Integration Costs
100%
Uniform Framework
100%
Complex Trace
100%
Packet Radio
100%
Computer Science
Performance Evaluation
100%
Network Protocols
100%
Network Simulation
100%
Ad Hoc On-Demand Distance Vector
100%
Vector Routing Protocol
100%
Linear Temporal Logic
100%
Monitoring Software
100%
Packet Radio Network
100%