News
Capabilities
Functional Engineering
Scalable Builds
Open source
Technical groups
Contributions and projects
Careers
Research
Blog
Contact
Modus Create
News
Capabilities
Functional Engineering
Scalable Builds
Open source
Technical groups
Contributions and projects
Careers
Research
Blog
Contact
Modus Create
blockchain
haskell
nix
bazel
data-science
devops
nickel
cardano
linear-types
python
internship
statistics
rust
build-systems
ghc
formal-methods
fellowship
plutus
data-engineering
high-assurance
liquidhaskell
...
Blog posts
A journey through the auditing process of a smart contract
May 11, 2023
Testing stateful systems, part two: Linear Temporal Logic
October 14, 2022
A Case Study on Correctness and Safety Testing of Stateful Systems
January 26, 2022
Simulating Tenderbake
May 21, 2021
Company
About
Open Source
Careers
Contact Us
What we do
Functional Engineering
Scalable builds
Insights
Blog
Modus Blog
Research
Connect with us
© 2025 Modus Create, LLC
Privacy Policy
Sitemap
