Search for Topics All Reviews
	Browse All Reviews > Theory Of Computation (F) > Logics And Meanings Of Programs (F.3) > Specifying And Verifying And Reasoning About Programs (F.3.1)     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending     1-10 of 192 Reviews about "Specifying And Verifying And Reasoning About Programs (F.3.1)": Date Reviewed   Variant construction from theoretical foundation to applications Zheng J., Springer International Publishing, New York, NY, 2019. 409 pp.  Type: Book This book is a collection of chapters authored primarily by Jeffrey Zheng, who is also the editor. The preface lays out a broad roadmap for expanding vector 0-1 logical systems, highlighting the areas of variant logic, variant measurem... Nov 11 2019   A Hoare logic for GPU kernels Kojima K., Igarashi A. ACM Transactions on Computational Logic 18(1): 1-43, 2017.  Type: Article Graphics processing units (GPUs) are hardware accelerators, originally designed to facilitate the fast rendering of images. Later, they became popular for computing in performance-sensitive areas because their highly parallel structure... Aug 8 2018   A semantics comparison workbench for a concurrent, asynchronous, distributed programming language Corrodi C., Heu&bgr;ner A., Poskitt C. Formal Aspects of Computing 30(1): 163-192, 2018.  Type: Article Changes in distributed-system runtime support in response to changes in technological and operational circumstances may also change the services offered to supported systems. The graph-based semantics comparison workbench described in ... May 23 2018   A compositional modelling and verification framework for stochastic hybrid systems Wang S., Zhan N., Zhang L. Formal Aspects of Computing 29(4): 751-775, 2017.  Type: Article The need to explore new formalisms for specifying, implementing, and verifying systems is driven by the increasing complexity of systems we wish to analyze and synthesize. At the same time, there is a growing realization of the need fo... Mar 29 2018   Fundamental proof methods in computer science: a computer-based approach Arkoudas K., Musser D., MIT Press, Cambridge, MA, 2017.  Type: Book (9780262035538) An introduction to proof methods in computer science (CS), this book is set apart from other by its reliance on an interactive theorem prover (called Athena) to achieve the task.... Sep 21 2017   Proof checking and logic programming Miller D. Formal Aspects of Computing 29(3): 383-399, 2017.  Type: Article A proof checker is a program that takes a claimed proof of a logic formula and decides whether this claim is true; in applications such as program verification and automated reasoning, it is thus not necessary to trust the (potentially... Jun 27 2017   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   Verified functional programming in Agda Stump A., Association for Computing Machinery and Morgan & Claypool, New York, NY, 2016. 284 pp.  Type: Book (978-1-970001-24-2) Verification used to be a daunting task, to be performed only in extreme circumstances, at great cost. Our knowledge of how to perform verification, at least for certain kinds of code, has progressed so much that there are now textbook... Oct 28 2016   Graph and model transformation: general framework and applications Ehrig H., Ermel C., Golas U., Hermann F., Springer International Publishing, New York, NY, 2015. 472 pp.  Type: Book (978-3-662479-79-7) In recent years, graph applications have attracted much attention in computer science and several other research fields. The book Graph and model transformation is written from a mathematical point of view, so there are no codes... Oct 20 2016   Generation of complete test suites from Mealy input/output transition systems Paiva S., Simao A. Formal Aspects of Computing 28(1): 65-78, 2016.  Type: Article The ever-increasing complexity of systems has motivated research in methodologies like model-based design (MBD) for managing and controlling the complexity of system development. MBD raises the level of abstraction of languages for spe... Jul 15 2016       Display 510152550100 per page
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy