The UI for Verikron the HyperTCTL model checker.
Watchtower is your command bridge for HyperTCTL: verify hyperproperties, visualise concrete and symbolic traces, and pinpoint failures with interactive counterexamples.
Powered by: Tauri + Vite + Sveltekit
- To install development dependencies:
pnpm install- To develop run the following command:
pnpm run dev
# Or desktop (Tauri)
pnpm run dev:tauriTo test changes:
pnpm run format
pnpm run lint
pnpm run check
pnpm run test:unit:headless
pnpm run test:e2e
# Or run the full suite in one go:
pnpm run test- To build the app:
pnpm run build
# Or desktop (Tauri)
pnpm run build:tauri