M

model-evaluation

Settings | Report Duplicate

0

I Use This!

Inactive

Commits : Listings

Analyzed 38 minutes ago. based on code collected 39 minutes ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Jan 14, 2025 — Jan 14, 2026 Showing page 1 of 14 Search / Filter on:
Management of Radio Communication: Ready output added	UweSteinkeFromSiemens	More...				over 11 years ago
Merge pull request #62 from janWelte/master	MariellePetitDoche	More...				about 12 years ago
Slides for GSN wit the tool ACedit	janWelte	More...				about 12 years ago
Merge branch 'master' of https://github.com/openETCS/model-evaluation	Matthias Güdemann	More...				about 12 years ago
functional validation with ProB	Matthias Güdemann	More...				about 12 years ago
ReqCycle slides	MariellePetitDoche	More...				about 12 years ago
more proofs automatic	Matthias Güdemann	More...				about 12 years ago
small corrections for l_partner : ER_connections case for data refinement	Matthias Güdemann	More...				about 12 years ago
removed establish_ER_connection	Matthias Güdemann	More...				about 12 years ago
removed ER_connections set	Matthias Güdemann	More...				about 12 years ago
added reverse invariant to ER_connections <: {comm_partner, hand_over_partner}	Matthias Güdemann	More...				about 12 years ago
bein remove ER_connections set	Matthias Güdemann	More...				about 12 years ago
refinement 2 variables for ER connections	Matthias Güdemann	More...				about 12 years ago
start 2 variable model for communication	Matthias Güdemann	More...				about 12 years ago
Slides from today	MariellePetitDoche	More...				about 12 years ago
Updated version	cecilebraun	More...				about 12 years ago
Image for the datadictionary	cecilebraun	More...				about 12 years ago
Data types from Subset 026-7 added as examples	UweSteinkeFromSiemens	More...				about 12 years ago
implement safety requirement REQ_FMEA_ID_05	Matthias Güdemann	More...				about 12 years ago
add c4 context	Matthias Güdemann	More...				about 12 years ago
add bum, bpr files	Matthias Güdemann	More...				about 12 years ago
started different modeling approach for communication model	Matthias Güdemann	More...				about 12 years ago
Merge branch 'master' of https://github.com/openETCS/model-evaluation	Matthias Güdemann	More...				about 12 years ago
added slides for secondary tools	JonasHelming	More...				about 12 years ago
Update README.md	MariellePetitDoche	More...				about 12 years ago
more work on safety criteria	Matthias Güdemann	More...				about 12 years ago
add on_track invariant to machine	Matthias Güdemann	More...				about 12 years ago
add guards to prove invariants	Matthias Güdemann	More...				about 12 years ago
added some invariants	Matthias Güdemann	More...				about 12 years ago
added first safety criterion to model additional machine refinement for integration of safe communication limits as indicated by REQ_FMEA_ID_005	Matthias Güdemann	More...				about 12 years ago

←
1
2
3
4
5
6
7
8
9
…
13
14
→