Search for Topics All Reviews
	Browse All Reviews > Software (D) > Software Engineering (D.2) > Software/Program Verification (D.2.4) > Formal Methods (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 58 Reviews about "Formal Methods (D.2.4...)": Date Reviewed    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   Inferring extended probabilistic finite-state automaton models from software executions Emam S., Miller J. ACM Transactions on Software Engineering and Methodology 27(1): 1-39, 2018.  Type: Article To facilitate the testing and maintenance of software systems, researchers have generated behavioral models in the form of finite-state automata from software execution traces. Even though a finite-state automaton (FSA) is a common dyn... Oct 25 2018   CoSMed: a confidentiality-verified social media platform Bauerei&bgr; T., Pesenti Gritti A., Popescu A., Raimondi F. Journal of Automated Reasoning 61(1-4): 113-139, 2018.  Type: Article What do we mean when we say that a system is verified? In theory it means that certain properties of a system have been proved to hold. In practice, the answer is rather more complicated.... Aug 22 2018    Computer arithmetic and formal proofs: verifying floating-point algorithms with the Coq system Boldo S., Melquiond G., ISTE Press - Elsevier, London, UK, 2017. 326 pp.  Type: Book (978-1-785481-12-3) The audience for this superlatively researched and crafted book includes postgraduate students and practitioners of floating-point (FP) computation or formal verification. The authors “sincerely hope that, after reading this ... Aug 8 2018   Concise guide to formal methods: theory, fundamentals and industry applications O’Regan G., Springer International Publishing, New York, NY, 2017. 312 pp.  Type: Book (978-3-319640-20-4) The title of the book, Concise guide to formal methods: theory, fundamentals and industry applications, seems promising by evoking formality, depth, breadth, and, above all, conciseness and guidance. A closer look reveals a shal... Mar 26 2018   Validation of formal specifications through transformation and animation Mashkoor A., Jacquot J. Requirements Engineering 22(4): 433-451, 2017.  Type: Article A validation check between a design and its implementation is usually done in order to validate the correctness of the requirements for any system. It is crucial to check that the requirements are correct when the system is developed. ... Jan 18 2018   Formal methods applied to complex systems: implementation of the B method Boulanger J., Wiley-IEEE Press, Hoboken, NJ, 2014. 496 pp.  Type: Book (978-1-848217-09-6) B, the language created by Jean-Raymond Abrial [1], stands (as a “confidential informant” had revealed to me more than a decade ago) for “Bourbaki.” The letter refers to a 19th-century French gen... Feb 17 2016       Display 510152550100 per page
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy