summary |
shortlog |
changelog |
graph |
tags |
bookmarks |
branches |
files |
changeset |
file |
latest |
revisions |
annotate |
diff |
comparison |
raw |
help

src/HOL/ROOT

changeset 72850 | 4cb480334f48 |

parent 72835 | 66ca5016b008 |

child 72985 | 9cc431444435 |

equal
deleted
inserted
replaced

72849:c83883da98d6 | 72850:4cb480334f48 |
---|---|

1144 combining IOA with Model Checking. |
1144 combining IOA with Model Checking. |

1145 |
1145 |

1146 Theory Correctness contains the proof of the abstraction from unbounded |
1146 Theory Correctness contains the proof of the abstraction from unbounded |

1147 channels to finite ones. |
1147 channels to finite ones. |

1148 |
1148 |

1149 Fole Check.ML contains a simple ModelChecker prototype checking Spec |
1149 File Check.ML contains a simple ModelChecker prototype checking Spec |

1150 against the finite version of the ABP-protocol. |
1150 against the finite version of the ABP-protocol. |

1151 " |
1151 " |

1152 theories |
1152 theories |

1153 Correctness |
1153 Correctness |

1154 Spec |
1154 Spec |