Logic for Programming, Artificial Intelligence, and Reasoning [[electronic resource] ] : 16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers / / edited by Edmund M. Clarke, Andrei Voronkov |
Edizione | [1st ed. 2010.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
Descrizione fisica | 1 online resource (X, 517 p. 71 illus., 4 illus. in color.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computer programming Software engineering Computer logic Mathematical logic Programming languages (Electronic computers) Artificial Intelligence Programming Techniques Software Engineering Logics and Meanings of Programs Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters |
ISBN |
1-283-47738-6
9786613477385 3-642-17511-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996466013603316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Perspectives of Systems Informatics [[electronic resource] ] : 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27 - July 1, 2011, Revised Selected Papers / / edited by Edmund Clarke, Irina Virbitskaite, Andrei Voronkov |
Edizione | [1st ed. 2012.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
Descrizione fisica | 1 online resource (XIV, 411 p. 130 illus.) |
Disciplina | 005.1015113 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
Computer logic
Programming languages (Electronic computers) Software engineering Computer programming Algorithms Optical data processing Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Software Engineering Programming Techniques Algorithm Analysis and Problem Complexity Computer Imaging, Vision, Pattern Recognition and Graphics |
ISBN | 3-642-29709-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465412703316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Verification of infinite-state systems with applications to security [[electronic resource] /] / edited by Edmund Clarke, Marius Minea and Ferucio Laurenţiu Ţiplea |
Pubbl/distr/stampa | Amsterdam ; ; Washington, D.C., : IOS Press, c2006 |
Descrizione fisica | 1 online resource (244 p.) |
Disciplina | 005.8 |
Altri autori (Persone) |
ClarkeEdmund M., Jr. <1945-2020.> (Edmund Melson)
MineaMarius ŢipleaFerucio Laurenţiu |
Collana | NATO security through science series. D, Information and communication security |
Soggetto topico |
System theory - Mathematical models
System theory - Security measures Computer security Computer software - Verification |
ISBN |
6610505101
1-280-50510-9 9786610505104 1-4237-9742-6 1-60750-147-3 600-00-0603-9 1-60129-127-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Title page; Preface; Committees; Contents; Number-Set Representations for Infinite-State Verification; Regular Model Checking for Programs with Dynamic Memory; Automatic Verification of Security Properties Based on Abstractions; Grand Challenge: Model Check Software; A Class of Automata for Computing Reachability Relations in Timed Systems; Practical Infinite-State Verification with Temporal Reasoning; Quantum States and Quantum Measurements; Automatic Test Generation and Monitoring of Infinite States Systems; Cryptographic Primitives Can Be Fragile
From Temporal Logic Queries to Vacuity DetectionProbability and Time in Measuring Security; Decidability and Complexity Results for Security Protocols; Dealing with Communication for Dynamic Multithreaded Recursive Programs; Scenario Graphs Applied to Security (Extended Abstract); Author Index |
Record Nr. | UNINA-9910784143903321 |
Amsterdam ; ; Washington, D.C., : IOS Press, c2006 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|