Description
This grouping contains the incompressible-flow cases from the 1980-81 Data Library.
Resources
| Name | Format | Description | Link |
|---|---|---|---|
| Inconsistent Omission Error .ppt | Powerpoint | Inconsistent ommission error plots | Open resource |
| midval.m | Text | Mid-Value algorithm | Open resource |
| mvs_inconsistent_ommission.m | Text | Inconsistent ommission | Open resource |
| mvs plots.ppt | Powerpoint | MVS plots | Open resource |
| mvs.sal | Binary | Initial Abstraction - SAL Model | Open resource |
| mvs_with_timeouts1.sal | Binary | Timeout Abstraction - SAL Model | Open resource |
| mvs_with_timeouts3.sal | Binary | Timeout with Faults with agreement - SAL Model | Open resource |
| mvs_with_timeouts3.sal | Binary | Alternate Timeout Abstraction - SAL Model | Open resource |
| mvs_with_timeouts4.sal | Binary | Alternate 2 Timeout Abstraction - SAL Model | Open resource |
| run_mvs.sh | Text | Initial Abstraction - SAL | Open resource |
| run_mvs_with_timeout1.sh | Text | Timeout Abstraction - SAL | Open resource |
| run_mvs_with_timeout3.sh | Text | Timeout with Faults with agreement - SAL | Open resource |
| run_mvs_with_timeout3.sh | Text | Alternate Timeout with Faults with agreement - SAL Model | Open resource |
| run_mvs_with_timeout3.sh | Text | Alternate Timeout Abstraction - SAL | Open resource |
| run_mvs_with_timeout4.sh | Text | Alternate Timeout with Faults with agreement - SAL | Open resource |
| run_mvs_with_timeout4.sh | Text | Alternate 2 Timeout Abstraction - SAL | Open resource |
| Web Resource | Text | f0242.txt | Open resource |