-
Notifications
You must be signed in to change notification settings - Fork 26
Meta
Pieter edited this page Jul 11, 2023
·
8 revisions
This page lists the software, deployments, credentials and documentation in the orbit of the VerCors project.
Primary projects:
Secondary maintained tooling:
- Code at https://github.com/utwente-fmt/vercors-web
- Auto-rendered via Github Actions to https://github.com/utwente-fmt/vercors-web-build
- Viewable at https://vercors.ewi.utwente.nl/
- Redirect at https://utwente.nl/vercors (Maintained by M&C UTwente)
- Deployed at https://webservice.utwente.nl:8443 (Ask Pieter Bos for credentials)
- Auto-pulled from https://github.com/utwente-fmt/vercors-web-build
- Webhook setup at https://github.com/utwente-fmt/vercors-web-build/settings/hooks
- Separate credentials for FTPS access (Ask Pieter Bos)
This simply makes the tool available to run on the internet.
- Code at https://github.com/utwente-fmt/vercors-server
- WebSocket access at wss://vercors-server.apps.utwente.nl/
- Deployed at https://rancher.utsp.utwente.nl/ (Ask Tom van Dijk)
- Data at https://gitlab.utwente.nl/fmt/vercors/vercors-back-up
- Note the page will return a 404 without correct permissions
- Contact Ömer Șakar for credentials
Minimal piece of software that makes a command line tool available to stream over a websocket. Not meant to be deployed directly.
- Code at https://github.com/utwente-fmt/tool-server
- In use by https://github.com/utwente-fmt/vercors-server
- Viewable and code at https://github.com/utwente-fmt/vercors/wiki
- Mirrored to https://vercors.ewi.utwente.nl/wiki
- Viewable at https://hub.docker.com/u/utwentefmt
- Contact Tom van Dijk for credentials
Tutorial
- Introduction
- Installing and Running VerCors
- Prototypical Verification Language
- Specification Syntax
- Permissions
- GPGPU Verification
- Axiomatic Data Types
- Arrays and Pointers
- Parallel Blocks
- Atomics and Locks
- Process Algebra Models
- Predicates
- Inheritance
- Exceptions & Goto
- VerCors by Error
- VeyMont
- Advanced Concepts
- Annex
- Case Studies
Developing for VerCors