Published July 4, 2024 | Version 2.0.0
Web Application

Saimple

Owner

Description

Saimple is a verifier for neural network based on abstract interpretation. It was developed by Numalis. The tool delivered by Numalis is a compressed archive composed basically by a set of docker images.

Documentation

User Manual

  • An online documentation is available here.

Benchmarks

Support

Support for Saimple must be obtained directly from the component owners, you can contact them directly here

Additional details

Trustworthy Attributes
Robustness
Engineering roles
IVVQ Engineer
ML-Algorithm Engineer
Use cases
Vision
Visual Inspection
Functional Set
Robustness
Documentation Link
https://doc.saimple.com/
Offical Website
https://saimple.com/
Image Link
data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAHsAAAAqCAYAAACTFSQtAAAAAXNSR0IArs4c6QAAAAZiS0dEAP8A/wD/oL2nkwAAAAlwSFlzAAALEwAACxMBAJqcGAAAAAd0SU1FB98JEgogIHvBeIMAAAS2SURBVHja7VvNdaM8FL3JSQFMBSEVxKlgcAW2K4CstIxdgU0F4CUrWxXEU8HgCuKpYEgHTAXft9BjooCQRGI82NE9J2cCI4T0rt4/uYLDeYHxBMCcrgoAM2ThwebRaye9syI6kogGAB/As+3jjuzzgm95z5H91XHjRHBSM+zVzHCKLCw7zBAq7sWO7GFiDmApXd8CeNQcjjmAiWSufQA5gD3dy5GFuSP7fH2wKuqucEAWjj/6Muezh20F6ig/M6Ej+7zgyL5QbBX3uIvGLxML+jcgjV4jC3eO7EuESMkejzmlM+NfCGbNZnwKYFS7a5ffMR5IJzU3jB0B8KQUo7Rc1z2ZuVcAu0ZTQKwhAPCd7hQAftHY4kNSk/fVFkhZNicM7/Gl9KzQrleMjUgeHslkL+/zSvPwCsCTREAdBYBFqx8RBYHknQ/KwlQjvJ/SnR2ycKYhOdHkqLnk7xIiug0psnDRgeAnAFNLqu4a5AiZLmtKM9aQ9yLJv0QWfuuQk8uIkYWra8WDHhj/SYvyDAWBZ+rEqDAxXMuoE+K1bCqC6PL4hrle6PCYNHAOxl8siF7RfNMOeukfoeDiWchkYyAaAJZgfKXy2RsLIb0fL7StX4h3bDo84VmOG5FmQKM1y0E6YWFtIsvR9zcKgU5bcr5X+j1UnNoEwK7nrSUtJnuvWZdcjNgC+ANRj44UGr5WmN1AozW5wTqdAqFinzG52Im0zxJAfGPx8LgWbKzIdETvTA7j08/mgYbgzW8cwCx8lMakZOIDRWzx8C7gY3yvsBJTAGnD/Kn8n6pbxfh//4BsX+Gb079xD+M/iNMYWXi4VmxYxloZVQohlw1z2B9GmqKDnJcuWoKTsjZ2C+CgNfsiQAoUAd2qY1vylLiv7VMEusShKc/WpUt1Yd2e8ASrUzN1ulNoTLuM7xYBVjwwcut7i8D4hg5qr0UV/4SbPIVmBS1VrSFBVSuPAPxWke4qaOcMUahKW/63Ij1xZF8O4QuKVUpNLWHjyL4cwlMAD1C3RStfvnJkHyc19AZAeEFZ0l1LYB32Sfa+QwB3O0AK8w5jpwPS8oLq7XUt9/sku2iQLZojqoJJZEjrhpDWVDVy1fqTf2hV5vRTty4/6kP7/HhhR0KQF5GA8XtaSAlR0ptbphSn1xDGi5pFWoLxW2l9AfSdQXN6J4KnV4iKYNGR6BXeqnxPYLwqlXpoVv/Kmx6FVdLLE0VKEGmeTI/SCz4OYjTLqqb1mxRgqZgPENWvWcf5ljU3qWsUba971o5UEyGqcMCQqlSirJofcb6DRh4fsQ62RZ4CQPwZsgtDQFZt8NGQB75ptGi6lFb+014ApeZg2cQJM5g7elvFGtveu2gphBSGa9V8Ywu5Hiq5fsaMLyA+76k+gdlqNZzxLZmsiWIxa62/ysItGJcjep21eJBMY65xCTH5Sv36xeGbUbuzaqMGtO6C1p5LnwWJPbW9t2rYML6meXzl+0XMMMZb2TZXWgrG7ygbmNBeRtLa9mSdANQ/S2q26cZd/pbIYdhwRRVHtoMj2+FCyFZ/C106EV0OrsD4M9pqu1l45UR0WZo91eSODl/AZ7d9vOdw5mQfFBp9N+AvKB0+iP8BZHOcLvMMIsIAAAAASUVORK5CYII=