Search

Your search keyword '"Guy Katz"' showing total 11 results
Start Over "Guy Katz" Publisher ieee
11 results on '"Guy Katz"'

2. Theory-aided model checking of concurrent transition systems

Author

David Harel, Guy Katz, and Clark Barrett

Subjects
Model checking, Theoretical computer science, Programming language, Computer science, Satisfiability modulo theories, DPLL algorithm, Synchronization (computer science), Transition system, Concurrent computing, Abstraction model checking, Solver, computer.software_genre, computer
Abstract

We present a method for the automatic compositional verification of certain classes of concurrent programs. Our approach is based on the casting of the model checking problem into a theory of transition systems within CVC4, a DPLL(T) based SMT solver. Our transition system theory then cooperates with other theories supported by the solver (e.g., arithmetic, arrays), which can help accelerate the verification process. More specifically, our theory solver looks for known patterns within the input programs and uses them to generate lemmas in the languages of other theories. When applicable, these lemmas can often steer the search away from safe parts of the search space, reducing the number of states to be explored and expediting the model checking procedure. We demonstrate the potential of our technique on a number of broad classes of programs.

Published
2015
Full Text
View/download PDF

4. Wise Computing: Toward Endowing System Development with Proactive Wisdom.

Author

Harel, David, Katz, Guy, Marelly, Rami, and Marron, Assaf

Subjects
CLOUD computing, COMPUTER software development, PROGRAMMING languages, COMPUTER programming, SOFTWARE engineering
Abstract

A broad, long-term research project is described, which will lead to the computer becoming an equal member of the system-development team, continuously making proactive contributions, akin to those expected from an experienced and knowledgeable customer or user, a conscientious QA engineer, a strict regulatory auditor, an engineering -team leader, or the organization’s CTO. The web extra at https://youtu.be/mmrv8ZACbpU describes the authors’ novel “wise computing” approach and demonstrates one possible application. The second web extra at https://youtu.be/DtpvMxMwYPM extends the discussion of the authors’ novel “wise computing” approach and presents a case study. [ABSTRACT FROM PUBLISHER]

Published
2018
Full Text
View/download PDF

8. Non-intrusive Repair of Reactive Programs.

Author

Harel, David, Katz, Guy, Marron, Assaf, and Weiss, Gera

Abstract

We show how, under certain conditions, programs written in the behavioral programming approach can be modified (e.g., as result of new requirements or discovered bugs) using automatically-generated code modules. Given a trace of undesired behavior, one can generate a relatively small piece of code, whose execution is interwoven at run time with the rest of the system and brings about the desired changes without modifying existing code, and without introducing new bugs. At the core of our approach is the ability of a thread of behavior to prevent the triggering of events from other threads. Our repair algorithms apply model checking to the program and transform the counterexamples produced by the model-checker into corrective modules. Our work is supported by a proof-of-concept tool, which creates understandable modules that can be further manually managed as part of ongoing incremental system development. [ABSTRACT FROM PUBLISHER]

Published
2012
Full Text
View/download PDF

10. Software Engineering.

Author

McMillin, Bruce

Subjects
SOFTWARE engineering, SOFTWARE architecture, SYSTEMS theory, CLOUD computing, CYBER physical systems, COMPUTER programming
Abstract

This theme issue includes three articles that explore various aspects of engineering complex systems that involve software. As these systems increase in complexity, so too must the design principles employed. [ABSTRACT FROM PUBLISHER]

Published
2018
Full Text
View/download PDF

11. Table of Contents.

Subjects
INFORMATION sharing, COMPUTER software development, COMPUTER engineering
Abstract

Presents the table of contents for this issue of the publication. [ABSTRACT FROM PUBLISHER]

Published
2018
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results