Search for Topics All Reviews
	Browse All Reviews > Software (D) > Software Engineering (D.2) > Software/Program Verification (D.2.4)     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending     1-10 of 307 Reviews about "Software/Program Verification (D.2.4)": Date Reviewed    Introduction to statistical and machine learning methods for data science Pinheiro C., Patetta M., SAS Institute Inc., Cary, NC, 2021.  Type: Book (1953329608) With this book, Dr. Carlos Pinheiro and Mike Patetta present a comprehensive and detailed exploration of data science techniques and applications. Introduction to statistical and machine learning methods for data science offers a broad over... Jan 15 2024    Predicting the unknown: the history and future of data science and artificial intelligence Kampakis S., Apress, New York, NY, 2023. 281 pp.  Type: Book (1484295048) Physicist Niels Bohr observed: “Prediction is very difficult, especially if it’s about the future!” Despite that warning, scientists, politicians, journalists, doctors, economists--professionals in nearly every knowledge ... Nov 29 2023   Statistical methods for data analysis: with applications in particle physics (3rd ed.) Lista L., Springer International Publishing, Cham, Switzerland, 2023. 334 pp.  Type: Book (9783031199332) Statistical methods for data analysis explores possibilities for artificial intelligence (AI), statistics, and data science in particle physics. Although the title of the book does not mention AI, the content of the book applies some AI con... Aug 8 2023   Metamorphic testing: a review of challenges and opportunities Chen T., Kuo F., Liu H., Poon P., Towey D., Tse T., Zhou Z. ACM Computing Surveys 51(1): 1-27, 2018.  Type: Article Testing software remains a complex business, so finding different means for doing so is important. Metamorphic testing belongs in one’s toolkit, along with unit tests and property-based testing. Thus, overviews are particular... Jun 2 2020    Formal methods: an appetizer Nielson F., Nielson H., Springer International Publishing, New York, NY, 2019. 162 pp.  Type: Book (978-3-030051-55-6) I’ve occasionally been intimidated into ordering an appetizer as the main course, but have rarely regretted it thanks to the presence of “gourmet” friends. This is an excellent, ultra-elegant, and rigorous... Apr 23 2020   Modular product programs Eilers M., Müller P., Hitz S. ACM Transactions on Programming Languages and Systems 42(1): 1-37, 2019.  Type: Article Some properties of programs are not about a single run of the program; instead, they relate multiple runs. For example, a program is deterministic if, given the same input, two runs will always produce the same answer. Many other prope... Jan 14 2020   Verification methods for the computationally complete symbolic attacker based on indistinguishability Bana G., Chadha R., Eeralla A., Okada M. ACM Transactions on Computational Logic 21(1): 1-44, 2019.  Type: Article First-order logic formalization for security protocols and attackers enables formal verification. Once a formalization is established, standard tools such as a theorem prover can be used in the analysis.... Dec 16 2019   Efficiency through uncertainty: scalable formal synthesis for stochastic hybrid systems Cauchi N., Laurenti L., Lahijanian M., Abate A., Kwiatkowska M., Cardelli L.  HSCC 2019 (Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, Montreal, Canada, Apr 16-18, 2019) 240-251, 2019.  Type: Proceedings Hybrid systems are those “with both continuous dynamics and discrete logic” [1]. The discrete logic serves to label or parametrize (my terms) states; state-specific continuous dynamics, modeled largely if not exclus... Jul 12 2019   Handbook of model checking Clarke E., Henzinger T., Veith H., Bloem R., Springer International Publishing, New York, NY, 2018. 1210 pp.  Type: Book (978-3-319105-74-1) Due to the proliferation and pervasiveness of hardware and software entities in everyday life, ascertaining their trustworthiness is of paramount importance. Model checking is a logic-based approach that determines whether the abstract... May 20 2019   A generalized digraph model for expressing dependencies Fradet P., Guo X., Monin J., Quinton S.  RTNS 2018 (Proceedings of the 26th International Conference on Real-Time Networks and Systems, Chasseneuil-du-Poitou, France, Oct 10-12, 2018) 72-82, 2018.  Type: Proceedings The authors characterize this paper as a work in progress in computer assisted verification (CAV) of task-scheduling models. Directed graph (digraph) models are expressive; however, as the authors point out, they are limited with respe... Feb 7 2019       Display 510152550100 per page
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy