Introduction to PAF!, a Proof Assistant for ML Programs Verification.
Sylvain BaroPublished in: TYPES (2003)
Keyphrases
- symbolic execution
- maximum likelihood
- imperative programs
- provably correct
- test bed
- hardware designs
- formal proof
- computer programs
- recursive programs
- asynchronous circuits
- concurrent systems
- signature verification
- face verification
- model checking
- neural network
- fixpoint
- functional language
- programming environment
- automated theorem provers
- case study