Commit b1479fb

committed

Documentation: Introduction to the BMC algorithm.

First draft, needs proofreading.

1 parent 9545b12 commit b1479fbCopy full SHA for b1479fb

1 file changed

+368

-10

lines changed

doc/architectural
- background-concepts.md

1 file changed

+368

-10

lines changed

Comments

(0)