Search
for Author
All Reviews
Schneider, Steve
Options:
All Media Types
Journals
Proceedings
Div Books
Whole Books
Other
Date Reviewed
Title
Author
Publisher
Published Date
Descending
Ascending
Date Reviewed
1
-
2
of
2
reviews
Foundations for using linear temporal logic in Event-B refinement
Hoang T., Schneider S., Treharne H., Williams D. Formal Aspects of Computing 28(6): 909-935, 2016. Type: Article
Event-B is a formal method for system-level modeling and analysis. In the last decade, Event-B refinement has generated a lot of interest as a formalism for developing highly reliable software. The Event-B language, along with tools su...
...
Apr 12 2017
Tank monitoring: a pAMN case study
Schneider S., Hoang T., Robinson K., Treharne H. Formal Aspects of Computing 18(3): 308-328, 2006. Type: Article
Dijkstra would not approve of this paper: it uses probabilities. Real engineers will have problems with the obviously bad design used as a case study. Wise engineers do not measure the amount of liquid in a tank by merely summing the i...
...
Dec 14 2007
Reproduction in whole or in part without permission is prohibited. Copyright 1999-2024 ThinkLoud
®
Terms of Use
|
Privacy Policy