https://verifpal.com/ 2026-09-16 weekly 1.0 https://verifpal.com/workbench 2026-09-16 monthly 0.9 https://verifpal.com/docs 2026-09-16 monthly 0.9 https://verifpal.com/software 2026-09-16 weekly 0.8 https://verifpal.com/docs/reference 2026-09-16 monthly 0.8 https://verifpal.com/docs/comparison 2026-09-16 monthly 0.8 https://verifpal.com/community 2026-09-16 monthly 0.6 https://verifpal.com/events 2026-09-16 monthly 0.5 https://verifpal.com/docs/introduction 2026-09-16 monthly 0.8 https://verifpal.com/docs/modeling 2026-09-16 monthly 0.8 https://verifpal.com/docs/queries 2026-09-16 monthly 0.8 https://verifpal.com/docs/analysis 2026-09-16 monthly 0.8 https://verifpal.com/docs/cli 2026-09-16 monthly 0.8 https://verifpal.com/docs/examples 2026-09-16 monthly 0.8 https://verifpal.com/docs/examples/signal 2026-09-16 monthly 0.8 https://verifpal.com/docs/examples/scuttlebutt 2026-09-16 monthly 0.8 https://verifpal.com/docs/examples/post-quantum 2026-09-16 monthly 0.8 https://verifpal.com/docs/acknowledgments 2026-09-16 monthly 0.8