Privacy policy

Last updated: 2026-10-16

Who we are

Formal Verification Online (https://formalverification.online) is a free educational website about formal verification. Contact: bussiness.trosan@gmail.com.

What we collect

• Account data (only if you sign in): your e-mail address, name and profile picture from Google or LinkedIn, and your lesson progress and quiz scores.
• Reports and feedback you send: the text you write, the page address, and optionally your name and e-mail.
• Technical data: a salted hash of your IP address (never the raw address) to prevent spam, and standard server logs.
• Your browser stores your theme, lesson progress and quiz scores locally (localStorage). A session cookie keeps you signed in.

How we use it

To sign you in, save your progress across devices, answer and fix reported problems, and keep the site secure. We do not sell your personal data.

Advertising and cookies

We may show ads served by third-party vendors, including Google. Third-party vendors, including Google, use cookies to serve ads based on a user's prior visits to this website or other websites. Google's use of advertising cookies enables it and its partners to serve ads to you based on your visit to this site and/or other sites on the Internet. You may opt out of personalised advertising by visiting Google Ads Settings or www.aboutads.info. See also how Google uses information from sites that use its services.

Your choices

• You can use the whole course without an account.
• You can delete your account and all saved progress at any time from My progress → Account settings.
• To ask for a copy or deletion of any data, e-mail bussiness.trosan@gmail.com.

Children

The site is intended for university students and professionals and is not directed at children under 13.

Changes

We will update this page if our practices change.