Verily Framework Documentation

Contents:

Getting Started

• So What is Verily and How Can It Help Me?
• Installation
• Headless Installation
• Using Verily in Vagrant
• Hello World in Verily
  • Writing Your Method
  • Writing Your Router
  • Running Your Application
• Next Steps

Creating Applications

• Creating Applications in Verily
• How Verily Applications are Structured
  • Methods
  • How Request Parameters are Decoded
  • Routers
• Verily Templating Guide
• The Global Mutable State Contract
  • Using Sessions
• Exposing your Methods via AJAX
• Adding Libraries to Your Project

Testing Applications

• Testing Verily Applications

Deploying Applications

• Deploying Verily Applications
• A Very Opinionated Guide To Deploying Verily Applications
  • Security Considerations
  • NGINX
  • Supervisor

Verfiying Applications

• Why Verify a Web Application?
• Program Specification 101
• Supported Program Verification Techniques
  • Static vs Runtime Checking
• Writing Specifications
  • Enable Static Checking
  • Enable Runtime Checking

Indices and tables

• Index
• Module Index
• Search Page