欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
GroundWork
简介
GroundWork Monitor Open Source provides a complete entry-level systems and network availability monitoring solution to ensure IT infrastructure uptime while identifying issues before they become real problems. It is the first totally integrated systems and network monitoring solution to deliver the basic functionality that systems administrators require in a free package.
Due to its open source architecture, GroundWork Monitor Open Source provides significant flexibility and extensibility in meeting all systems and network monitoring needs through a combination of multiple techniques such as active, passive, agent-based, agent-less monitoring that can be configured easily to specific needs.
GroundWork Monitor Open Source takes best-of-breed open source projects, including Nagios®, Nmap, Sendpage, PHP, Apache, MySQL and more, and wraps them into a completely integrated software package for monitoring a range of platforms and device types including Linux, Unix, Windows, network devices, etc.
GroundWork Monitor Open Source provides wide coverage for servers, routers, switches, network devices and other elements necessary for the smooth operation of your IT infrastructure. A modular architecture makes this possible with configuration through simple web interfaces, providing quick time-to-value. With real-time availability status views, historic trend reporting and a sophisticated alerting engine, you can proactively be in control of your entire IT environment.
