GitHub topics: proving-programs-correct
jsego/bfgp-pp
A framework based on Best-First Generalized Planning where solutions are either assembly-like programs, or structured programs that are syntactically terminating.
Language: PDDL - Size: 58.8 MB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 3 - Forks: 3
jsego/up-bfgp
Integrator of the BFGP++ framework into the Unified Planning library.
Language: Python - Size: 35.2 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0
vladkinoman/formal-methods
Assignments for the Theory of Programming(3rd Course)/Methods of Program Verification and Optimization(5th Course) course.
Language: Pascal - Size: 2.21 MB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
