About Symbolaris.com

About

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.

Further services and tools include simulations, games, verification tools for hybrid games, as well as verified models and proofs for automotive, aviation, railway, and robotics controllers.

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.