Type checker and (eventually) theorem prover for the Z specification language.

Project Activity

See All Activity >

Categories

Follow z-vimes

z-vimes Web Site

Other Useful Business Software

The Sight of Sound The Sight of Sound Icon
The Sight of Sound Icon

­ Improve VoIP Visibility from SIP to RTP

Cloudbased voice solutions are common in enterprise networks and frustrating for operations teams to manage. Simplify VoIP monitoring by having a proactive analysis of on-prem, hybrid and UCaaS voice services. Try the ThousandEyes VoIP monitoring solution today, free.

Rate This Project

Login To Rate This Project

User Reviews

Be the first to post a review of z-vimes!

Additional Project Details

Intended Audience

Information Technology

User Interface

Command-line

Programming Language

C++

Registered

2010-10-14