Skip to content

Generate weakest precondition/strongest postcondition from a straight line program.

Notifications You must be signed in to change notification settings

wadkhlemshem/smt-project

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

20 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

About

Generate weakest precondition/strongest postcondition from a straight line program.

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • C++ 92.7%
  • Makefile 4.3%
  • Slash 3.0%