Temporal verification of reactive systems: progress

Main
Temporal verification of reactive...

Temporal verification of reactive systems: progress

Manna Z., Pnueli A.

0 / 0

Որքա՞ն է ձեզ դուր եկել այս գիրքը:

Ինչպիսի՞ն է բեռնված ֆայլի որակը:

Բեռնեք գիրքը` գնահատելու դրա որակը

Ինչպիսի՞ն է բեռնված ֆայլերի որակը:

Տարի:

1996

Հրատարակչություն:

web draft

Լեզու:

english

Էջեր:

247

Ֆայլ:

PDF, 1.40 MB

IPFS:

,

english, 1996

Կարդալ Առցանց

Փոխարկումը դեպի կատարվում է

Փոխարկումը դեպի ձախողվել է

Ձեզ կարող է հետաքրքրել

Henri Cohen — Number Theory-Volume I.Tools and Diophantine Equations

John C. Reynolds — The Craft of Programming (Prentice-Hall International Series in Computer Science)

Hubie Chen — Computability and Complexity

Jiacun Wang, William Tepfenhart — Formal Methods in Computer Science

Cohen, Henri — Number Theory, Volume I: Tools and Diophantine Equations

Zohar Manna, Amir Pnueli — The Temporal Logic of Reactive and Concurrent Systems: Specification

Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers — Concurrency Verification: Introduction to Compositional and Non-compositional Methods

Klaus G. Fischer, Philippe Loustaunau, Jay Shapiro, Edward Green, David Farkas — Computational algebra

Laurent Manivel, John R. Swallow — Symmetric Functions, Schubert Polynomials and Degeneracy Loci

Klaus G. Fischer, Philippe Loustaunau, Jay Shapiro, Edward Green, David Farkas — Computational Algebra

Raymond S. Nickerson — Reflections on Reasoning

Zohar Manna — Lectures on the Logic of Computer Programming

Zohar Manna, Amir Pnueli — Temporal Verification of Reactive Systems: Safety

Krzysztof R. Apt, Ernst-Rüdiger Olderog — Verification of Sequential and Concurrent Programs

Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog — Verification of sequential and concurrent programs

Piotrek Hofman, Michał Skrzypczak — Developments in Language Theory: 23rd International Conference, DLT 2019, Warsaw, Poland, August 5–9, 2019, Proceedings

Lito Perez Cruz — Theoremus

Andrey O. Matveev — Farey Sequences: Duality and Maps Between Subsequences

Andrey O. Matveev — Farey Sequences: Duality and Maps Between Subsequences

K. Schütte, J.N. Crossley — Proof theory

P. van Emde Boas (auth.), J. Winkowski (eds.) — Mathematical Foundations of Computer Science 1978: Proceedings, 7th Symposium Zakopane, Poland, September 4–8, 1978

Gérard Boudol (auth.), Eike Best (eds.) — CONCUR'93: 4th Intrenational Conference on Concurrency Theory Hildesheim, Germany, August 23–26, 1993 Proceedings

Albert Benveniste, Paul Caspi (auth.), J. W. de Bakker, W. -P. de Roever, G. Rozenberg (eds.) — A Decade of Concurrency Reflections and Perspectives: REX School/Symposium Noordwijkerhout, The Netherlands June 1–4, 1993 Proceedings

Vijaya Ramachandran (auth.), S. Ramesh, G Sivakumar (eds.) — Foundations of Software Technology and Theoretical Computer Science: 17th Conference Kharagpur, India, December 18–20, 1997 Proceedings

Moshe Y. Vardi (auth.), Davide Sangiorgi, Robert de Simone (eds.) — CONCUR'98 Concurrency Theory: 9th International Conference Nice, France, September 8–11, 1998 Proceedings

Howard Barringer, Dov M. Gabbay (auth.), Zohar Manna, Doron A. Peled (eds.) — Time for Verification: Essays in Memory of Amir Pnueli

Kurt Schütte (auth.) — Proof Theory

Հիմնական արտահայտություններ