These web pages provide the services of Symbolaris
Symbolaris.com provides the tools and services, mostly associated with algorithms from logic in computer science. There are tools for theorem proving, model checking, computer algebra, verification of hybrid systems, and verification of cyber-physical systems and their control software and hardware. Notably, symbolaris tools include KeYmaera, a theorem prover for hybrid systems.
More information on these tools and services and results can be found starting from the main web page. If you are interested in purchasing parts of the symbolaris tool set, other artifacts such as models, or consulting services from symbolaris, please contact us by sending an email.