Mechanized Systems Management