Lab Classes

Here you will find lab classes, and accompanying resources, that support selected chapters in the book.

Chapter 4: Algebraic Specification in CASL

The rationale for the lab classes can be found here.

Lab: Verification of Ladder Logic Programs:

• Lab Brief: lab-verification-of-ladder-logic-programs.pdf
• Lab Brief Source LaTeX: Available on request.
• Supporting File: ladderLogicSim.py
• Supporting File: deMorgan.casl
• Supporting File: ladderLogic.casl
• Supporting File: controller.casl