Quviq AB
Quviq AB[edit]
Overview[edit]
Quviq AB is a leading software verification company specialized in the field of Elixir programming language. The company was founded in 2006 and has since then become a valuable contributor to the Elixir ecosystem. Quviq AB focuses on providing efficient and reliable solutions for software verification and concurrent testing using state-of-the-art techniques.
History[edit]
Quviq AB was founded in 2006 with the aim of advancing software verification technologies. Since its inception, the company has been dedicated to improving the reliability and quality of software development. Quviq AB has been one of the early adopters of Elixir and has played a crucial role in its growth and popularity.
Services[edit]
Quviq AB offers a range of services to help companies in achieving reliable and bug-free software development. Their services include:
QuickCheck for Elixir[edit]
Quviq AB provides QuickCheck, a property-based testing tool, for the Elixir programming language. QuickCheck enables developers to write specifications in the form of properties and automatically generate test cases to verify the behavior of their code.
Concuerror[edit]
Concuerror is another valuable tool offered by Quviq AB. It is designed specifically for testing concurrent programs written in Elixir. Concuerror systematically explores the behavior space of concurrent programs, helping developers find and fix bugs related to concurrency.
Consulting and Training[edit]
Quviq AB also offers consulting and training services to assist organizations in mastering Elixir and leveraging its potential for their projects. Their experienced team provides hands-on training sessions tailored to the specific needs and requirements of clients.
Contributions to the Elixir Community[edit]
Quviq AB actively contributes to the Elixir community and has played a significant role in the growth and adoption of the language. They have regularly participated and sponsored conferences, meetups, and workshops related to Elixir. Additionally, Quviq AB has open-sourced several libraries and tools to support the Elixir ecosystem.