search

gobo7793 / ssharp

S# is a formal modeling and safety analysis framework for safety-critical systems. It provides a domain specific modeling language and fully automated formal safety analysis tools based on C# and .NET.
http://safetysharp.isse.de/wiki
MIT License
0 stars 0 forks source link

Benchmarks genauer erläutern #62

Closed gobo7793 closed 6 years ago

gobo7793 commented 6 years ago

Anwendungen der Benchmarks genauer erklären, zb was machen sie, warum wurden die gewählt (zb weil die bereits in vielen anderen Paper als Benchmarks genutzt wurden, mit Quellen!)

gobo7793 commented 6 years ago

Teilweise bereits im Rahmen von #61 gemacht

gobo7793 commented 6 years ago

Ein paar weiterführende Infos zu Quasi-Monte-Carlo und Pentomino wären nicht schlecht

gobo7793 commented 6 years ago

Weiterführende Infos zu Literatur sind drin