Skip to main content
Adastack LogoAdastack Logo
  • Home
  • DApps
  • Blog
  • Submit
Adastack LogoAdastack Logo

Newsletter

Subscribe for Updates

New features and Cardano ecosystem news.

Adastack LogoAdastack Logo

Cardano ecosystem explorer. Your guide to the latest DApps, tools, and resources on Cardano.

X
Explore
  • Categories
  • DApps
  • Projects
  • Project Links
For Builders
  • Suggest a Project
  • Get Featured
  • Code Libraries
  • REST API
About Adastack
  • About & Contact
  • Privacy
  • Terms
Follow Us
  • X / Twitter
  • GitHub
  • Facebook
  • LinkedIn
Copyright © 2026 All Rights Reserved.
  3. Categories
  5. Development
  7. Testing Libraries
  9. Quickcheck Dynamic
Icon for Quickcheck Dynamic

Quickcheck Dynamic

Advanced testing framework for stateful programs using model-based testing techniques. A Haskell library jointly developed by Quviq and IOG.

Visit Website
Icon for Quickcheck Dynamic
Visit Website

Introduction

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.

Information

  • Website Linkhttps://github.com/input-output-hk/quickcheck-dynamic
  • X (Twitter)x.com/IOGroup
  • YouTubewww.youtube.com/@InputOutputGroup
  • LinkedInwww.linkedin.com/company/input-output-group
  • Facebookwww.facebook.com/iohk.io
  • Blogwww.iog.io/news
  • Team on GitHubgithub.com/input-output-hk
  • Open Source Linkgithub.com/input-output-hk/quickcheck-dynamic
  • Programming LanguageHaskell

Category

  • Testing Libraries

Related Items

Icon for Vodka

Vodka

Aiken development toolkit.

Icon for Plutus Bench

Mockfrost

Python testing framework.

Icon for Yaci DevKit

Yaci DevKit

Local devnet management platform.