Abstraction Examples

software

posted on 2023-01-17, 15:13 authored by Sebastian StockSebastian Stock

Contains two Rodin Projects as an example for abstractions. One that is the original project (Train_Abrial) and one that showcases how to create and proof an abstraction (Train_Route_Abstraction)

Funding

FWF grant # I 4744-N

History

Usage metrics

Keywords

Event-B VO Validation Obligations Formal methods Validation Applied Computer Science

Licence

GPL