Editing
Quviq AB
Jump to navigation
Jump to search
Warning:
You are not logged in. Your IP address will be publicly visible if you make any edits. If you
log in
or
create an account
, your edits will be attributed to your username, along with other benefits.
Anti-spam check. Do
not
fill this in!
== Quviq AB == [[File:Quviq-logo.png|thumb|Quviq AB logo]] == Overview == '''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 == 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 == Quviq AB offers a range of services to help companies in achieving reliable and bug-free software development. Their services include: === QuickCheck for Elixir === 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 === 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 === 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 == 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. == References == [https://www.quviq.com/ Quviq AB Official Website] [https://elixir-lang.org Official Elixir Website] [[Category:Elixir (programming language)]] [[Category:Software Development]] [[Category:Companies]] [[Category:Software Testing]]
Summary:
Please note that all contributions to Elixir Wiki may be edited, altered, or removed by other contributors. If you do not want your writing to be edited mercilessly, then do not submit it here.
You are also promising us that you wrote this yourself, or copied it from a public domain or similar free resource (see
Elixir Wiki:Copyrights
for details).
Do not submit copyrighted work without permission!
Cancel
Editing help
(opens in new window)
Navigation menu
Personal tools
Not logged in
Talk
Contributions
Create account
Log in
Namespaces
Page
Discussion
English
Views
Read
Edit
View history
More
Navigation
Main page
Recent changes
Random page
Help about MediaWiki
Tools
What links here
Related changes
Special pages
Page information