1.23
2.0
main
|
Last change
on this file since 95af735 was 95af735, checked in by Stephen Siegel <siegel@…>, 13 days ago |
|
Stripped down README.md as most documentation will be in docs/.
|
-
Property mode
set to
100644
|
|
File size:
489 bytes
|
| Rev | Line | |
|---|
| [95af735] | 1 | # The CIVL Model Checker
|
|---|
| [e27d083] | 2 |
|
|---|
| [95af735] | 3 | The CIVL model checker is a verification tool for sequential or parallel
|
|---|
| 4 | programs.
|
|---|
| 5 | It targets primarily C programs, including parallel C programs that use
|
|---|
| 6 | OpenMP or MPI, and CUDA-C programs.
|
|---|
| 7 | The general verification approach is based on model checking and symbolic execution.
|
|---|
| [e27d083] | 8 |
|
|---|
| [95af735] | 9 | For more information about CIVL, including installation instructions,
|
|---|
| 10 | language documentation, and examples, see
|
|---|
| 11 | [the CIVL documentation](https://verified-software-lab.github.io/civl/).
|
|---|
Note:
See
TracBrowser
for help on using the repository browser.
