ThousandEyes extends visibility across corporate networks as well as the public Internet, helping to solve issues from the branch through MPLS links and SIP trunks to service provider networks. Simulate pre-deployment capacity, monitor detailed performance metrics and see how QoS settings impact call quality.Sponsored Listing
- Programming Language: Haskell ×
MDA support for Alloy1 weekly downloads
A model checker for "Dynamic Epistemic Logic", written in literate Haskell.