-
Notifications
You must be signed in to change notification settings - Fork 26
Rewriting Rules
Pieter edited this page Sep 28, 2022
·
2 revisions
VerCors allows you to define your own term rewriting rules via pvl files.
This chapter shows you how.
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