Terms of Service

You may use the Service only if you are legally capable of forming a binding contract and are not prohibited from receiving the Service under applicable law. You may not use the Service if such use would violate export controls, sanctions laws, court orders, contractual restrictions, or professional obligations applicable to you or your organization.

You are responsible for ensuring that each employee, contractor, consultant, or other person to whom you grant access to the Service is properly authorized and trained for the intended use. You remain responsible for all activity performed through your accounts, workspaces, credentials, and connected systems, except to the extent caused directly by marmaris's breach of these Terms.

"Authorized User" means any individual you permit to access or use the Service under your account or workspace.

"Customer Content" means all data, specifications, design materials, prompts, code, assertions, scripts, models, tickets, communications, uploaded files, configuration data, and other materials submitted to, stored in, processed by, or transmitted through the Service by or for you.

"Outputs" means all service-generated or service-assisted materials created in response to your use of the Service, including suggested specifications, properties, proof strategies, logs, reports, evidence files, summaries, translations, and related artifacts.

"Order Form" means any written or electronic ordering document, proposal, statement of work, invoice, renewal confirmation, or similar commercial document accepted by both parties that identifies the Service, scope, pricing, or term.

"Service" means the marmaris services described in these Terms and in the applicable Order Form, documentation, or product interface.

"Subscription Term" means the period during which you are authorized to use a paid or otherwise term-based portion of the Service.

"Third-Party Services" means any external software, infrastructure, identity provider, communication service, verification engine, repository, or integration not owned or operated by marmaris.

"Usage Data" means operational, diagnostic, telemetry, and performance data relating to the use, support, security, or administration of the Service, excluding Customer Content in identifiable form except as needed to provide the Service.

marmaris provides a business-to-business and research-oriented platform designed to help teams organize formal verification workflows, interpret specifications, coordinate proof efforts, generate or translate verification artifacts, and maintain traceable evidence. The Service is intended to reduce fragmentation across toolchains and to help users move more efficiently from specification to proof and from proof to auditable records.

The precise features made available to you depend on the product tier, environment, integrations, technical readiness, and any applicable Order Form. Certain features may be experimental, limited by usage thresholds, tied to specific third-party platforms, or available only to selected early-access customers. Unless expressly promised in a signed agreement, marmaris is not obligated to continue a particular feature, interface, or integration in its current form.

You must provide accurate, current, and complete registration and account information and keep it reasonably up to date. You are responsible for safeguarding passwords, access tokens, single sign-on credentials, API keys, administrator privileges, and similar access mechanisms. Credentials may not be shared in a manner that exceeds your licensed use or weakens security controls.

Workspace administrators may be able to provision users, set permissions, connect integrations, access data within the workspace, and monitor usage. You are responsible for the acts and omissions of your administrators and for configuring permissions in a manner consistent with your internal policies, confidentiality obligations, and legal requirements.

You must promptly notify marmaris of any known or reasonably suspected unauthorized access, credential compromise, security weakness, or misuse affecting the Service or your workspace. marmaris may require reasonable remedial measures, including credential rotation, access restrictions, or temporary suspension, to protect the Service and affected data.

The Service may be offered on a paid, pilot, proof-of-concept, free-trial, evaluation, sandbox, or beta basis. Access rights, usage limits, fees, support levels, and deployment expectations are determined by the applicable Order Form or, if no Order Form exists, by the materials presented at sign-up or invitation.

Beta Services are offered for testing, feedback, and evaluation. Beta Services may be incomplete, unstable, incompatible with prior versions, or subject to sudden modification, withdrawal, or access limitation. Unless expressly stated in writing, Beta Services are not intended for production reliance, regulated sign-off, or mission-critical deployment, and marmaris has no obligation to provide support, maintenance, export functionality, or uptime commitments for them.

You will treat non-public Beta Services, product roadmaps, pre-release documentation, private benchmarks, and evaluation materials as marmaris Confidential Information.

As between the parties, you retain all right, title, and interest in and to Customer Content. You grant marmaris a limited, non-exclusive, worldwide license to host, copy, transmit, display, transform, analyze, and otherwise process Customer Content only as reasonably necessary to provide, secure, support, maintain, improve, and monitor the Service, to generate requested Outputs, to prevent abuse, to comply with law, and to carry out other activities expressly authorized by these Terms or a signed written agreement.

You represent and warrant that you have all rights, permissions, notices, and lawful grounds necessary to provide Customer Content to marmaris and to authorize the processing described in these Terms. You are solely responsible for the accuracy, legality, origin, quality, and fitness of Customer Content, including any personal data, confidential information, export-controlled data, or third-party intellectual property contained in it.

You should not submit Customer Content that you are not entitled to use, that violates law, or that is restricted from processing in the Service absent special written approval. Unless expressly agreed in writing, the Service is not approved for classified information, export-restricted technical data, ITAR-controlled data, protected health information subject to sector-specific regulation, payment card data requiring dedicated compliance controls, or any other category of data that requires environment-specific commitments beyond those expressly provided by marmaris.

The Service may generate Outputs derived from Customer Content, user instructions, system logic, and integrated tools. Subject to marmaris's ownership of the underlying Service, models, methods, templates, documentation, interfaces, and general know-how, and subject to any rights of third-party providers whose tools are involved, you own the specific Outputs generated for you from your Customer Content for your internal business purposes.

To the extent any marmaris intellectual property is embedded in an Output and is necessary for your permitted use of that Output, marmaris grants you a limited, non-exclusive, non-transferable license during the applicable Subscription Term, and thereafter solely to the extent needed to use retained records of such Output internally, to use the embedded material as part of the Output. No transfer of ownership in the Service itself, or in any generally applicable model, workflow, abstraction, template, or algorithm, is made by these Terms.

You acknowledge that Outputs may be inferential, probabilistic, incomplete, context-sensitive, or dependent upon assumptions, abstractions, source quality, user configuration, and third-party tool behavior. You are solely responsible for reviewing, validating, testing, approving, and deciding whether to rely on any Output.

marmaris is designed to assist with formal verification workflows. It does not replace sound engineering practice, independent review, design sign-off, waiver governance, silicon validation, safety analysis, or legal and regulatory judgment. The Service may help organize specifications, generate properties, recommend proof strategies, or preserve evidence, but the decision that a design is correct, sufficiently verified, tape-out ready, compliant, or safe for any intended use remains entirely yours.

You must independently determine whether the Service, any Output, and any resulting process or artifact is suitable for use in safety-critical, regulated, security-sensitive, or customer-facing deliverables. marmaris does not certify hardware, certify process maturity, guarantee audit outcomes, or assume responsibility for any engineering or commercial decision you make based on the Service.

If you use the Service in connection with products or environments whose failure could cause injury, property damage, severe financial loss, or regulatory exposure, you agree that enhanced internal review, secondary controls, and human oversight are your responsibility and are a condition of any such use.

You will not, and will not permit any third party to: use the Service in violation of law or these Terms; infringe, misappropriate, or violate the rights of any person; upload or transmit malicious code or harmful content; probe, scan, or test the vulnerability of the Service except through an authorized program; interfere with the integrity or performance of the Service; circumvent security controls, rate limits, or access restrictions; reverse engineer or derive source code from the Service except to the limited extent such restriction is prohibited by law; access the Service to build a competitive service or benchmark dataset; or use any robot, scraper, or other automated means to extract content from the Service except through permitted interfaces.

You will not publish or disclose non-public performance testing, security findings, roadmap information, or feature comparisons relating to the Service without marmaris's prior written consent, except where prohibited by applicable law. You will not misrepresent the provenance or certainty of Outputs or present machine-assisted artifacts as independently verified human conclusions unless they have in fact been reviewed and approved through your own process.

The Service may interoperate with Third-Party Services, including identity providers, repositories, cloud infrastructure, communication channels, verification engines, development environments, ticketing systems, and other tools. Your use of any Third-Party Service is governed by your agreement with that provider, not by these Terms.

If you enable or direct an integration, you authorize marmaris to exchange Customer Content and related metadata with the relevant Third-Party Service to the extent reasonably necessary to provide the requested functionality. marmaris is not responsible for any Third-Party Service, including its security, availability, functionality, licensing, support, pricing, or changes to its interfaces or terms.

You will pay all fees and charges set forth in the applicable Order Form or otherwise presented and accepted at the time of purchase. Unless expressly stated otherwise, fees are non-cancelable and non-refundable except as required by law or expressly provided in these Terms.

If invoicing is used, undisputed amounts are due within thirty days after the invoice date unless a different period is stated in the applicable Order Form. Overdue undisputed amounts may accrue interest at the lesser of one and one-half percent per month or the maximum rate permitted by law, and marmaris may recover reasonable collection costs.

Fees do not include taxes, duties, levies, or similar governmental assessments, except taxes based on marmaris's net income. You are responsible for all sales, use, value-added, withholding, and similar taxes associated with your purchase or use of the Service, excluding taxes imposed on marmaris's income.

"Confidential Information" means non-public information disclosed by one party to the other that is identified as confidential or that reasonably should be understood to be confidential given the nature of the information and the circumstances of disclosure. Customer Content is your Confidential Information. The Service, non-public documentation, private pricing, security materials, product roadmaps, and Beta Services are marmaris Confidential Information.

The receiving party will use the disclosing party's Confidential Information only as necessary to exercise rights or perform obligations under these Terms. The receiving party will protect the information using at least reasonable care and no less than the care it uses for its own information of similar sensitivity. The receiving party may disclose Confidential Information only to personnel, contractors, professional advisers, affiliates, and subprocessors who have a legitimate need to know and who are bound by confidentiality obligations no less protective than those stated here.

Confidential Information does not include information that the receiving party can show: was already lawfully known without confidentiality restriction; becomes public through no breach of these Terms; is lawfully received from a third party without a duty of confidentiality; or is independently developed without use of the disclosing party's Confidential Information. If disclosure is required by law, subpoena, or court order, the receiving party will, where legally permitted, provide prompt notice and reasonably cooperate in efforts to limit the disclosure.

Because unauthorized use or disclosure of Confidential Information may cause irreparable harm, each party may seek injunctive or equitable relief, in addition to any other remedies, to prevent or stop actual or threatened misuse.

marmaris will process personal data in accordance with the marmaris Privacy Policy and any signed data processing addendum or similar document between the parties. Where marmaris processes personal data contained in Customer Content on your behalf, you act as the controller or business and marmaris acts as the processor or service provider, unless the parties expressly agree otherwise in writing.

You are responsible for determining whether the Service is appropriate for the personal data you choose to submit, for providing notices, obtaining consents where required, establishing a lawful basis for processing, honoring data subject or consumer rights, and ensuring your own use complies with applicable privacy and data protection law. marmaris will implement reasonable administrative, technical, and organizational safeguards designed to protect Customer Content against unauthorized access, use, alteration, or disclosure.

No security measure is perfect and no system can be guaranteed secure. If marmaris becomes aware of a confirmed unauthorized access to Customer Content maintained by marmaris, marmaris will provide notice without undue delay as required by applicable law and the parties' agreements. marmaris may use subprocessors and service providers to operate the Service, provided they are bound by obligations appropriate to the nature of the data and services involved.

If you provide comments, suggestions, ideas, enhancement requests, or other feedback regarding the Service, you grant marmaris a perpetual, irrevocable, worldwide, royalty-free right to use that feedback for any lawful purpose without obligation, attribution, or compensation.

marmaris may collect, generate, and use Usage Data to provide, secure, support, invoice, maintain, and improve the Service, to detect and prevent abuse, and to plan capacity and product development. marmaris may also create deidentified or aggregated information that does not reasonably identify you, any Authorized User, or Customer Content, and may use that information for analytics, benchmarking performed on an anonymized basis, product improvement, and business operations.

Any use of Customer Content beyond what is reasonably necessary to provide, secure, support, maintain, and improve the Service for you, or as otherwise permitted by a signed written agreement or applicable law, will require an appropriate legal basis and, where relevant, your documented instructions.

marmaris and its licensors retain all right, title, and interest in and to the Service, including all software, source and object code, interfaces, visual elements, product names, trademarks, service marks, workflows, data models, semantic layers, methods, templates, documentation, and related intellectual property rights. No rights are granted to you except the limited rights expressly set out in these Terms.

You may not remove, obscure, or alter proprietary notices appearing in the Service or documentation. Open-source or third-party software components included in or used with the Service remain subject to their own applicable licenses, and nothing in these Terms limits your rights under any mandatory open-source license.

marmaris may modify, update, replace, or discontinue features of the Service from time to time in order to improve functionality, respond to security or legal requirements, accommodate third-party changes, or evolve the product. marmaris will use commercially reasonable efforts not to materially reduce the core functionality of a paid production subscription during its active Subscription Term, except where a change is required for security, legal compliance, abuse prevention, or substantial product improvement.

Any specific support commitments, response times, uptime undertakings, maintenance windows, or service levels are binding only if set out in a signed Order Form, support policy, or service level addendum. Except to the extent expressly committed in writing, the Service is provided on an as-available basis and may be unavailable from time to time for maintenance, upgrades, emergency remediation, third-party outages, or circumstances beyond marmaris's reasonable control.

marmaris may suspend or restrict access to the Service, in whole or in part, if marmaris reasonably believes that: you have materially breached these Terms; your use presents a security risk; continued access could harm the Service, marmaris, you, or another user; suspension is required by law or by a binding request from a governmental authority; or you have failed to pay undisputed amounts after notice and an opportunity to cure.

Where practicable, marmaris will provide notice and an opportunity to address the issue before suspension. marmaris will restore access once the underlying basis for suspension has been adequately resolved, if restoration remains technically, commercially, and legally feasible.

These Terms begin when you first accept them or first use the Service and continue until terminated. If you purchase or are granted a Subscription Term, the duration of that term, any renewal mechanics, and any environment-specific limitations are governed by the applicable Order Form or enrollment terms.

Either party may terminate these Terms or an affected Order Form for material breach by the other party if the breach remains uncured for thirty days after written notice, except that termination may be immediate for breaches that are not reasonably capable of cure. marmaris may also terminate immediately if you become insolvent, cease operations, or use the Service in a manner that creates material legal or security exposure.

Upon termination or expiration, your right to access and use the affected Service ends immediately, subject to any limited post-termination retrieval period described in an Order Form or documentation. After any applicable retrieval period, marmaris may delete or render inaccessible Customer Content, subject to backup cycles, disaster recovery procedures, legal retention obligations, and any contrary written agreement. Sections that by their nature should survive termination will survive, including sections concerning fees, confidentiality, intellectual property, indemnification, disclaimers, liability limits, and dispute resolution.

For paid production subscriptions only, marmaris warrants that during the applicable Subscription Term the Service will materially conform to the then-current written documentation when used in accordance with these Terms and the relevant documentation. This limited warranty does not apply to Beta Services, free trials, pilot features, evaluation environments, third-party services, or issues caused by misuse, unauthorized modification, unsupported environments, or Customer Content.

Your exclusive remedy, and marmaris's sole obligation, for breach of this limited warranty is that marmaris will use commercially reasonable efforts to correct the non-conformity. If marmaris cannot do so within a reasonable time, either party may terminate the affected paid subscription and marmaris will refund any prepaid fees covering the unused portion of the terminated paid period.

Except for the limited warranty expressly stated above, the Service, all Beta Services, documentation, support, integrations, and Outputs are provided "as is" and "as available." To the maximum extent permitted by law, marmaris disclaims all warranties, whether express, implied, statutory, or otherwise, including warranties of merchantability, fitness for a particular purpose, title, non-infringement, uninterrupted operation, availability, accuracy, completeness, reliability, compatibility, and that the Service or any Output will meet your requirements.

Without limiting the foregoing, marmaris does not warrant that the Service will identify every defect, generate every necessary property, preserve every intended assumption, satisfy every coverage goal, interoperate with every third-party tool, or produce evidence sufficient for sign-off, customer acceptance, certification, litigation, or audit. Formal verification workflows depend on assumptions, abstractions, user choices, design context, source quality, and external tools. The Service supports professional analysis; it does not replace it.

You will defend, indemnify, and hold harmless marmaris, its affiliates, and its and their directors, officers, employees, contractors, and agents from and against any third-party claim, demand, action, proceeding, loss, damage, judgment, settlement, fine, cost, or expense, including reasonable attorneys' fees, arising out of or relating to: Customer Content; your or your Authorized Users' use of the Service in violation of these Terms or applicable law; your negligence or willful misconduct; or allegations that Customer Content or your combination of the Service with other products or data infringes, misappropriates, or violates a third party's rights.

marmaris will defend you against any third-party claim alleging that the paid production Service, as provided by marmaris and used by you in accordance with these Terms, directly infringes that third party's patent, copyright, or trade secret, and marmaris will indemnify you for final damages awarded by a court of competent jurisdiction or settlements approved in writing by marmaris. marmaris will have no obligation under this paragraph for claims arising from Beta Services, free services, Customer Content, your modifications, use outside documentation, continued use after notice of the alleged infringement, or combinations with items not provided by marmaris.

The indemnified party must promptly notify the indemnifying party of the claim, permit the indemnifying party to control the defense and settlement, and provide reasonable cooperation at the indemnifying party's expense. The indemnifying party may not settle a claim in a manner admitting fault of or imposing non-monetary obligations on the indemnified party without the indemnified party's prior written consent, not to be unreasonably withheld. If the Service is alleged to infringe, marmaris may procure the right for you to continue using it, modify or replace it, or terminate the affected Service and refund prepaid unused fees for the terminated portion.

To the maximum extent permitted by law, neither party will be liable to the other for any indirect, incidental, consequential, special, exemplary, or punitive damages, or for any loss of profits, revenues, goodwill, anticipated savings, business interruption, or loss or corruption of data, even if advised of the possibility of such damages.

To the maximum extent permitted by law, each party's total aggregate liability arising out of or relating to these Terms will not exceed the greater of: (a) the amounts paid or payable by you to marmaris for the affected Service during the twelve months preceding the event giving rise to the claim; or (b) one hundred United States dollars for free, trial, or evaluation use.

The foregoing exclusions and cap do not limit: your payment obligations; either party's liability for fraud, willful misconduct, or gross negligence to the extent such liability cannot be limited by law; either party's breach of confidentiality; either party's infringement or misappropriation of the other party's intellectual property; or either party's indemnification obligations under these Terms.

You must comply with all applicable export control, sanctions, anti-boycott, import, and re-export laws in connection with your use of the Service. You may not use the Service for the benefit of any prohibited person, jurisdiction, or end use, and you may not provide access to the Service in violation of law.

Unless expressly approved in writing by marmaris, you will not submit to the Service any data or materials subject to special handling or segregation requirements that are inconsistent with the service environment then in use, including classified information, export-controlled technical data, or sector-specific regulated information requiring dedicated contractual or technical controls not expressly provided by marmaris.

Neither party may use the other party's name, logo, trademarks, service marks, or other brand features without prior written consent, except as required by law or expressly permitted in a signed agreement. Any right of marmaris to identify you as a customer, publish a case study, or use your marks in connection with marketing or investor materials must be separately agreed in writing.

These Terms, and any dispute, claim, or controversy arising out of or relating to these Terms or the Service, are governed by the laws of the State of Wyoming, without regard to conflict-of-laws principles. The United Nations Convention on Contracts for the International Sale of Goods does not apply.

The parties consent to the exclusive jurisdiction of the state courts located in Sheridan County, Wyoming, and the United States District Court for the District of Wyoming, for any action arising out of or relating to these Terms. Each party waives any objection based on personal jurisdiction, venue, or inconvenient forum. Nothing in these Terms prevents either party from seeking injunctive or equitable relief in any court of competent jurisdiction to protect Confidential Information or intellectual property.

marmaris may modify these Terms from time to time. If a change is material, marmaris will provide notice by posting an updated version on the relevant site, within the Service, or by another reasonable method. Unless a different effective date is stated, material changes will become effective thirty days after notice for existing paid subscriptions and immediately for new sign-ups, free use, Beta Services, or changes required for legal compliance, security, or abuse prevention.

Your continued use of the Service after the effective date of revised Terms constitutes acceptance of the revised Terms. If you object to a revised version, your sole remedy is to stop using the Service and, if applicable, terminate in accordance with these Terms and any governing Order Form.

These Terms, together with any applicable Order Form and any documents expressly incorporated by reference, constitute the entire agreement between the parties regarding the Service and supersede prior or contemporaneous understandings on that subject.

Neither party may assign these Terms without the other party's prior written consent, except in connection with a merger, acquisition, financing transaction, corporate reorganization, or sale of substantially all of the relevant business or assets, provided the assignee agrees in writing to be bound by these Terms. marmaris may use affiliates, contractors, and subprocessors in performing the Service, but remains responsible for their performance to the extent required by law and these Terms.

The parties are independent contractors. These Terms do not create a partnership, franchise, joint venture, agency, fiduciary relationship, or employment relationship. There are no third-party beneficiaries to these Terms unless expressly stated otherwise.

No waiver of any provision of these Terms is effective unless in writing. A failure to enforce any provision is not a waiver of future enforcement. If any provision is held unenforceable, the remaining provisions remain in full force and the unenforceable provision will be enforced to the maximum extent permitted by law. Neither party is liable for delay or failure caused by events beyond its reasonable control, provided the affected party uses reasonable efforts to mitigate the effect of the event.

Notices under these Terms may be delivered electronically where permitted by law. Notices to you may be sent to the email address associated with your account or by in-product message. Legal notices to marmaris should be sent to the contact information listed below.

marmaris

1309 Coffeen Avenue, Suite 1200

Sheridan, Wyoming 82801, US

Telephone: +1 855 815 1469