Skip to content
/ program-checker Public

A project for a formal methods in software course. This application runs as a program checker where propositional logic formulas are output for a given program. If the formulas can be proven to be true, then the program is valid.

0 stars 0 forks Branches Tags Activity
Star
Notifications

leodenault/program-checker

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

54 Commits

node_modules

node_modules

 
 

static

static

 
 

.gitignore

.gitignore

 
 

Procfile

Procfile

 
 

instructions.html

instructions.html

 
 

makefile

makefile

 
 

package.json

package.json

 
 

parser.lisp

parser.lisp

 
 

program-checker

program-checker

 
 

program-checker.html

program-checker.html

 
 

server.js

server.js

 
 

About

A project for a formal methods in software course. This application runs as a program checker where propositional logic formulas are output for a given program. If the formulas can be proven to be true, then the program is valid.

Activity

Stars

0 stars

Watchers

2 watching

Forks

0 forks
Report repository

Releases

No releases published

Packages

No packages published

Languages