Skip to content

model-checking/cbmc-training

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

28 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

CBMC Training

This repository contains our documentation on how to use CBMC.

The documentation is in directory docs and is generated using the tool mdbook from a collection of markdown files in the directory docs/src. The mdbook tool is a standard tool for preparing documentation in the Rust community.

Installing mdbook

On MacOS, run

brew install mdbook

On Linux and Windows, download the compressed binary from the mdbook release page, uncompress it, and put it in your search path.

Building documentation

Build the documentation with the commands

cd docs
mdbook build

This will place the documentation in the directory docs/book.

View the documentation with

cd docs
mdbook serve --open

This will start up a web server rooted in docs/book and lets you proofread your work before publication.

Security

See CONTRIBUTING for more information.

License Summary

The documentation is made available under the Creative Commons Attribution-ShareAlike 4.0 International License. See the LICENSE file.

The sample code within this documentation is made available under the MIT-0 license. See the LICENSE-SAMPLECODE file.

About

CBMC training material and documentation

Resources

License

Unknown and 2 other licenses found

Licenses found

Unknown
LICENSE
MIT-0
LICENSE-SAMPLECODE
Unknown
LICENSE-SUMMARY

Code of conduct

Security policy

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Contributors 4

  •  
  •  
  •  
  •