Time for Verification
Manna, Zohar.
Time for Verification Essays in Memory of Amir Pnueli / [recurso electrónico] : edited by Zohar Manna, Doron A. Peled. - VIII, 413p. 113 illus. online resource. - Lecture Notes in Computer Science, 6200 0302-9743 ; . - Lecture Notes in Computer Science, 6200 .
Modal and Temporal Argumentation Networks -- Knowledge Based Scheduling of Distributed Systems -- Quantitative Simulation Games -- The Localization Reduction and Counterexample-Guided Abstraction Refinement -- A Scalable Segmented Decision Tree Abstract Domain -- Towards Component Based Design of Hybrid Systems: Safety and Stability -- Mildly Context-Sensitive Languages via Buffer Augmented Pregroup Grammars -- Inference Rules for Proving the Equivalence of Recursive Procedures -- Some Thoughts on the Semantics of Biocharts -- Unraveling a Card Trick -- An Automata-Theoretic Approach to Infinite-State Systems -- On the Krohn-Rhodes Cascaded Decomposition Theorem -- Temporal Verification of Reactive Systems: Response -- The Arrow of Time through the Lens of Computing -- What Is in a Step: New Perspectives on a Classical Question.
This volume is dedicated to the memory of Amir Pnueli: a great scientist, a colleague and a friend. Amir touched our lives in several ways. As a scientist, Amir had the exceptionally deep insight that can open a new researcharea with a cleverly crafted paper. Having published over 250 papers, and won the Turing Award, the highest awarded recognition in computer science, Amir is no doubt one of the most brilliant and visionary computer scientists of all times. As a colleague and research collaborator, Amir steered the entire ?eld of research in unforeseen, original, directions. As a mentor, Amir was admired by the students that were lucky to be supervised by him. Amir will always be remembered as a colleague and a friend, who, with his kind manners and great vision has in- enced and will continue to in?uence present and future generations of computer scientists. April 2010 Zohar Manna Doron Peled Table of Contents Modal and Temporal Argumentation Networks . . . . . . . . . . . . . . . . . . . . . . 1 Howard Barringer and Dov M. Gabbay Knowledge Based Scheduling of Distributed Systems . . . . . . . . . . . . . . . . . 26 Saddek Bensalem, Doron Peled, and Joseph Sifakis Quantitative Simulation Games. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42 ? Pavol Cern´ y, Thomas A. Henzinger, and Arjun Radhakrishna The Localization Reduction and Counterexample-Guided Abstraction Re?nement. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61 Edmund M. Clarke, Robert P. Kurshan, and Helmut Veith A Scalable Segmented Decision Tree Abstract Domain. . . . . . . . . . . . . . . . 72 Patrick Cousot, Radhia Cousot, and Laurent Mauborgne Towards Component Based Design of Hybrid Systems: Safety and Stability. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
9783642137549
Computer science.
Logic design.
Computer Science.
Programming Techniques.
Mathematical Logic and Formal Languages.
Computation by Abstract Devices.
Logics and Meanings of Programs.
QA76.6-76.66
005.11
Time for Verification Essays in Memory of Amir Pnueli / [recurso electrónico] : edited by Zohar Manna, Doron A. Peled. - VIII, 413p. 113 illus. online resource. - Lecture Notes in Computer Science, 6200 0302-9743 ; . - Lecture Notes in Computer Science, 6200 .
Modal and Temporal Argumentation Networks -- Knowledge Based Scheduling of Distributed Systems -- Quantitative Simulation Games -- The Localization Reduction and Counterexample-Guided Abstraction Refinement -- A Scalable Segmented Decision Tree Abstract Domain -- Towards Component Based Design of Hybrid Systems: Safety and Stability -- Mildly Context-Sensitive Languages via Buffer Augmented Pregroup Grammars -- Inference Rules for Proving the Equivalence of Recursive Procedures -- Some Thoughts on the Semantics of Biocharts -- Unraveling a Card Trick -- An Automata-Theoretic Approach to Infinite-State Systems -- On the Krohn-Rhodes Cascaded Decomposition Theorem -- Temporal Verification of Reactive Systems: Response -- The Arrow of Time through the Lens of Computing -- What Is in a Step: New Perspectives on a Classical Question.
This volume is dedicated to the memory of Amir Pnueli: a great scientist, a colleague and a friend. Amir touched our lives in several ways. As a scientist, Amir had the exceptionally deep insight that can open a new researcharea with a cleverly crafted paper. Having published over 250 papers, and won the Turing Award, the highest awarded recognition in computer science, Amir is no doubt one of the most brilliant and visionary computer scientists of all times. As a colleague and research collaborator, Amir steered the entire ?eld of research in unforeseen, original, directions. As a mentor, Amir was admired by the students that were lucky to be supervised by him. Amir will always be remembered as a colleague and a friend, who, with his kind manners and great vision has in- enced and will continue to in?uence present and future generations of computer scientists. April 2010 Zohar Manna Doron Peled Table of Contents Modal and Temporal Argumentation Networks . . . . . . . . . . . . . . . . . . . . . . 1 Howard Barringer and Dov M. Gabbay Knowledge Based Scheduling of Distributed Systems . . . . . . . . . . . . . . . . . 26 Saddek Bensalem, Doron Peled, and Joseph Sifakis Quantitative Simulation Games. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42 ? Pavol Cern´ y, Thomas A. Henzinger, and Arjun Radhakrishna The Localization Reduction and Counterexample-Guided Abstraction Re?nement. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61 Edmund M. Clarke, Robert P. Kurshan, and Helmut Veith A Scalable Segmented Decision Tree Abstract Domain. . . . . . . . . . . . . . . . 72 Patrick Cousot, Radhia Cousot, and Laurent Mauborgne Towards Component Based Design of Hybrid Systems: Safety and Stability. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
9783642137549
Computer science.
Logic design.
Computer Science.
Programming Techniques.
Mathematical Logic and Formal Languages.
Computation by Abstract Devices.
Logics and Meanings of Programs.
QA76.6-76.66
005.11
