Homepage
Open in app
Sign in
Get started
Financial Markets
Safety Critical
Tools
Machine Learning
Home
Tagged in
Testing
Imandra Inc.
Reasoning as a Service @
www.imandra.ai
More information
Followers
143
Elsewhere
More, on Medium
Testing
Dave Aitken
in
Imandra Inc.
Mar 7, 2019
Exploring The Apple FaceTime Bug with ReasonML State Machines
Read more…
390
Dave Aitken
in
Imandra Inc.
Jan 6, 2019
Introducing Verified React
Automated reasoning for ReasonReact
Read more…
855
Dave Aitken
in
Imandra Inc.
Sep 10, 2018
Verifying ReasonReact component logic — ReasonML & Imandra
Read more…
631