Skip to content
NetQi
Brings foresight to your world
Home
News
Download
Documentation
About
Screenshots
Contact us
Contact us
Highlighted fields are required.
Your Name:
Your Email:
40 + 2 =
Your Website:
Your Subject:
Your Message:
Recent News
Publication: Using Strategy Objectives for Network Security Analysis
Publication: NetQi: A Model checker for Anticipation Game
Publication: Extending Anticipation Games with Location, Penalty and Timeline.
Presentation: NetQi presented at MITACS
Code release: version 1.1
Code release: version 1.0
Publication: A Logical Framework for Evaluating Network Resilience Against Faults and Attacks
Affiliations
