QuickCheck Dynamic is a Haskell library for testing stateful programs using QuickCheck and dynamic logic. Developed jointly by Quviq and IOG, it enables model-based testing of complex systems. The library extends traditional QuickCheck with state machine testing capabilities for comprehensive verification.
Quickcheck Dynamic
Advanced testing framework for stateful programs using model-based testing techniques. A Haskell library jointly developed by Quviq and IOG.
Introduction
Information
- Website Linkhttps://github.com/input-output-hk/quickcheck-dynamic
- X (Twitter)x.com/InputOutputHK
- YouTubewww.youtube.com/c/IohkIo
- LinkedInwww.linkedin.com/company/input-output-global/
- Facebookwww.facebook.com/iohk.io/
- Blogiohk.io/en/blog/posts/page-1/
- Open Source Linkgithub.com/input-output-hk/quickcheck-dynamic
