- 博客(1)
- 资源 (6)
- 收藏
- 关注
原创 由车祸想到的
现今中国境内发生车祸一般情况下会追究责任,肇事者所驾驶的车辆撞死人,需要赔钱给受害家属,肇事者承担部分或全部事故责任,用钱解决问题当然是商业化的。但是,还应该注意到,这起事故是发生在人类社会中的,事故的一部分责任应该由社会来承担,而最能代表这个社会责任的是我们的政府。但是一般性的交通事故,我们的行政主管单位却不会被追究责任。只有到非常严重的问题出现的情况下,比如近年来黑龙江省交通事故
2009-08-11 10:52:00 3221
Understanding Formal Methods
This book is aimed at all those who are rightly puzzled by the complex and controversial panorama of formal methods. It is unique as to its completeness and its compromise between rigorous exposition of underlying mathematical theories and concrete explanations of the implementation of techniques using actual tools. One of its essential merits is to be an up-to-date presentation of the best currently available techniques, in a field where one could easily mistakenly choose an antiquated and rigid technology, or take the risk of a research prototype with an unknown lifespan.
2018-12-09
Handbook of Model Checking
With 32 technical articles and 76 authors, this handbook represents a full postgraduate
course in Model Checking. If a reader can verify that he or she has read
and studied every article, then Springer should certainly award that reader a Master’s
Degree inModel Checking! Departments in Computer Science everywhere will
certainly welcome access to this major resource.
Model Checking has become a major area of research and development both
for hardware and software verification owing to many factors. First, the improved
speed and capacity of computers in recent times have made all kinds of problem
solving both practical and efficient. Moreover, in the area of Model Checking the
methods of design of models have contributed to the best formulation of problems.
Then we have seen SAT solvers gain unexpected and truly remarkable efficiency
improvements—despite theoretical limitations. Additionally, the methodology of
Satisfiability Modulo Theories (SMT) has contributed to finding excellent ways to
pose and solve problems. Uses of temporal logic and data-flow-analysis techniques
have also made model checking more naturally efficient. All these contributions
have helped solve the ever-present “state explosion problem.” The urgency to make
greater strides has increased because new applications in such diverse areas as health
care, transportation, security, and robotics require work in the field to achieve greater
scale, expressivity, and automation.
I would definitely recommend new Ph.D. candidates look seriously into going
into research in this field, because success in Model Checking can directly lead to
future success in many other activities in Computer Science.
Finally, the recent tragic loss of Helmut Veith has been a dreadful blow to his
family, friends, colleagues, and students. Let’s take up the flag in his honor to help
promote and expand the field in which he was poised to become a recognized world
leader.
Carnegie Mellon University Dana S. Scott
Department of Mathematics, University of California, Berkeley
2018-06-01
Yaron Minsky, Anil Madhavapeddy, and Jason Hickey
Programming languages matter. They affect the reliability, security, and efficiency of
the code you write, as well as how easy it is to read, refactor, and extend. The languages
you know can also change how you think, influencing the way you design software even
when you’re not using them.
We wrote this book because we believe in the importance of programming languages,
and that OCaml in particular is an important language to learn. The three of us have
been using OCaml in our academic and professional lives for over 15 years, and in that
time we’ve come to see it as a secret weapon for building complex software systems.
This book aims to make this secret weapon available to a wider audience, by providing
a clear guide to what you need to know to use OCaml effectively in the real world.
What makes OCaml special is that it occupies a sweet spot in the space of programming
language designs. It provides a combination of efficiency, expressiveness and practicality
that is matched by no other language. That is in large part because OCaml is an elegant
combination of a few key language features that have been developed over the last 40
years.
2018-01-08
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人