Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
25 years of model checking : history, achievements, perspectives / / Orna Grumberg, Helmut Veith (eds.)
| 25 years of model checking : history, achievements, perspectives / / Orna Grumberg, Helmut Veith (eds.) |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, : Springer, 2008 |
| Descrizione fisica | 1 online resource (VII, 234 p.) |
| Disciplina | 005.131 |
| Altri autori (Persone) |
GrumbergOrna
VeithHelmut |
| Collana |
Lecture notes in computer science
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
| Soggetto topico | Computer systems - Verification |
| ISBN | 3-540-69850-7 |
| Classificazione |
DAT 003f
DAT 325f DAT 540f SS 4800 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The Birth of Model Checking -- The Beginning of Model Checking: A Personal Perspective -- Verification Technology Transfer -- New Challenges in Model Checking -- A Retrospective on Mur? -- Model Checking: From Tools to Theory -- Value Iteration -- Fifteen Years of Formal Property Verification in Intel -- A View from the Engine Room: Computational Support for Symbolic Model Checking -- From Church and Prior to PSL -- On the Merits of Temporal Testers -- DESIGN AND SYNTHESIS OF SYNCHRONIZATION SKELETONS USING BRANCHING TIME TEMPORAL LOGIC -- SPECIFICATION AND VERIFICATION OF CONURRENT SYSTEMS IN CESAR. |
| Altri titoli varianti | Twenty-five years of model checking |
| Record Nr. | UNINA-9910767508103321 |
| Berlin, : Springer, 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Dependable software systems engineering / / edited by Maximilian Irlbeck, Doron Peled and Alexander Pretschner
| Dependable software systems engineering / / edited by Maximilian Irlbeck, Doron Peled and Alexander Pretschner |
| Pubbl/distr/stampa | Amsterdam, Netherlands : , : IOS Press, , 2015 |
| Descrizione fisica | 1 online resource (320 p.) |
| Disciplina | 005.14 |
| Collana | NATO Science for Peace and Security Series - D: Information and Communication Security |
| Soggetto topico |
Computer software - Verification
Computer systems - Verification |
| Soggetto genere / forma | Electronic books. |
| ISBN | 1-61499-495-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
""DEPENDABLE SOFTWARE SYSTEMS ENGINEERING""; ""Preface""; ""Contents""; ""Syntax-Guided Synthesis""; ""Deconstructing Dynamic Symbolic Execution""; ""From Actions, Transactions, and Processes to Services""; ""System Behaviours and Problem Frames: Concepts, Concerns and the Role of Formalisms in the Development of Cyber-physical Systems""; ""Generating Process Models in Multi-View Environments""; ""Safety and Dependability""; ""Evolving Software Ecosystems A Historical and Ecological Perspective""; ""Framing the Frame Problem""; ""From Verification to Synthesis""; ""Defect-Based Testing""
""Mechanised Theory Engineering in Isabelle""""A Theory of Networks: In the Beginning . . .""; ""Subject Index""; ""Author Index"" |
| Record Nr. | UNINA-9910460486403321 |
| Amsterdam, Netherlands : , : IOS Press, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Dependable software systems engineering / / edited by Maximilian Irlbeck, Doron Peled and Alexander Pretschner
| Dependable software systems engineering / / edited by Maximilian Irlbeck, Doron Peled and Alexander Pretschner |
| Pubbl/distr/stampa | Amsterdam, Netherlands : , : IOS Press, , 2015 |
| Descrizione fisica | 1 online resource (320 p.) |
| Disciplina | 005.14 |
| Collana | NATO Science for Peace and Security Series - D: Information and Communication Security |
| Soggetto topico |
Computer software - Verification
Computer systems - Verification |
| ISBN | 1-61499-495-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
""DEPENDABLE SOFTWARE SYSTEMS ENGINEERING""; ""Preface""; ""Contents""; ""Syntax-Guided Synthesis""; ""Deconstructing Dynamic Symbolic Execution""; ""From Actions, Transactions, and Processes to Services""; ""System Behaviours and Problem Frames: Concepts, Concerns and the Role of Formalisms in the Development of Cyber-physical Systems""; ""Generating Process Models in Multi-View Environments""; ""Safety and Dependability""; ""Evolving Software Ecosystems A Historical and Ecological Perspective""; ""Framing the Frame Problem""; ""From Verification to Synthesis""; ""Defect-Based Testing""
""Mechanised Theory Engineering in Isabelle""""A Theory of Networks: In the Beginning . . .""; ""Subject Index""; ""Author Index"" |
| Record Nr. | UNINA-9910797482403321 |
| Amsterdam, Netherlands : , : IOS Press, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Dependable software systems engineering / / edited by Maximilian Irlbeck, Doron Peled and Alexander Pretschner
| Dependable software systems engineering / / edited by Maximilian Irlbeck, Doron Peled and Alexander Pretschner |
| Pubbl/distr/stampa | Amsterdam, Netherlands : , : IOS Press, , 2015 |
| Descrizione fisica | 1 online resource (320 p.) |
| Disciplina | 005.14 |
| Collana | NATO Science for Peace and Security Series - D: Information and Communication Security |
| Soggetto topico |
Computer software - Verification
Computer systems - Verification |
| ISBN | 1-61499-495-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
""DEPENDABLE SOFTWARE SYSTEMS ENGINEERING""; ""Preface""; ""Contents""; ""Syntax-Guided Synthesis""; ""Deconstructing Dynamic Symbolic Execution""; ""From Actions, Transactions, and Processes to Services""; ""System Behaviours and Problem Frames: Concepts, Concerns and the Role of Formalisms in the Development of Cyber-physical Systems""; ""Generating Process Models in Multi-View Environments""; ""Safety and Dependability""; ""Evolving Software Ecosystems A Historical and Ecological Perspective""; ""Framing the Frame Problem""; ""From Verification to Synthesis""; ""Defect-Based Testing""
""Mechanised Theory Engineering in Isabelle""""A Theory of Networks: In the Beginning . . .""; ""Subject Index""; ""Author Index"" |
| Record Nr. | UNINA-9910826845203321 |
| Amsterdam, Netherlands : , : IOS Press, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
E-Business : State of the Art of ICT Based Challenges and Solutions / / edited by Dragan Perakovic
| E-Business : State of the Art of ICT Based Challenges and Solutions / / edited by Dragan Perakovic |
| Pubbl/distr/stampa | Rijeka, Croatia : , : IntechOpen, , 2017 |
| Descrizione fisica | 1 online resource (108 pages) : illustrations |
| Disciplina | 004.21 |
| Soggetto topico | Computer systems - Verification |
| ISBN |
953-51-4123-6
953-51-2884-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
E-Business
E-Business - State of the Art of ICT Based Challenges and Solutions |
| Record Nr. | UNINA-9910169203903321 |
| Rijeka, Croatia : , : IntechOpen, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Engineering dependable software systems / / edited by Manfred Broy, Doron Peled and Georg Kalus
| Engineering dependable software systems / / edited by Manfred Broy, Doron Peled and Georg Kalus |
| Pubbl/distr/stampa | Amsterdam ; ; Washington, D. C. : , : IOS Press, , [2013] |
| Descrizione fisica | 1 online resource (376 p.) |
| Disciplina | 005.1/4 |
| Altri autori (Persone) |
BroyM. <1949->
KalusGeorg PeledDoron <1962-> |
| Collana | NATO science for peace and security series. Sub-series D, Information and communication security |
| Soggetto topico |
Computer software - Verification
Computer systems - Verification |
| Soggetto genere / forma | Electronic books. |
| ISBN | 1-61499-207-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
ENGINEERING DEPENDABLE SOFTWARE SYSTEMS; Preface; Contents; A Logical Approach to Systems Engineering Artifacts and Traceability: From Requirements to Functional and Architectural Views; Mastering System Analysis and Design through Abstraction and Refinement; Data Abstraction in VCC; Families of software systems: a model checking approach; A Tutorial on Runtime Verification; Model Checking Meets Probability: A Gentle Introduction; Risk-driven Engineering of Requirements for Dependable Systems; Model-Based Verication, Optimization, Synthesis and Performance Evaluation of Real-Time Systems
Model-Driven Engineering and Model Transformation: for Fun and ProfitSymbolic Execution and Software Testing; Model Checking Basics; Subject Index; Author Index |
| Record Nr. | UNINA-9910453713003321 |
| Amsterdam ; ; Washington, D. C. : , : IOS Press, , [2013] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Engineering dependable software systems / / edited by Manfred Broy, Doron Peled and Georg Kalus
| Engineering dependable software systems / / edited by Manfred Broy, Doron Peled and Georg Kalus |
| Pubbl/distr/stampa | Amsterdam ; ; Washington, D. C. : , : IOS Press, , [2013] |
| Descrizione fisica | 1 online resource (376 p.) |
| Disciplina | 005.1/4 |
| Altri autori (Persone) |
BroyM. <1949->
KalusGeorg PeledDoron <1962-> |
| Collana | NATO science for peace and security series. Sub-series D, Information and communication security |
| Soggetto topico |
Computer software - Verification
Computer systems - Verification |
| ISBN | 1-61499-207-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
ENGINEERING DEPENDABLE SOFTWARE SYSTEMS; Preface; Contents; A Logical Approach to Systems Engineering Artifacts and Traceability: From Requirements to Functional and Architectural Views; Mastering System Analysis and Design through Abstraction and Refinement; Data Abstraction in VCC; Families of software systems: a model checking approach; A Tutorial on Runtime Verification; Model Checking Meets Probability: A Gentle Introduction; Risk-driven Engineering of Requirements for Dependable Systems; Model-Based Verication, Optimization, Synthesis and Performance Evaluation of Real-Time Systems
Model-Driven Engineering and Model Transformation: for Fun and ProfitSymbolic Execution and Software Testing; Model Checking Basics; Subject Index; Author Index |
| Record Nr. | UNINA-9910790875303321 |
| Amsterdam ; ; Washington, D. C. : , : IOS Press, , [2013] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Engineering dependable software systems / / edited by Manfred Broy, Doron Peled and Georg Kalus
| Engineering dependable software systems / / edited by Manfred Broy, Doron Peled and Georg Kalus |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Amsterdam ; ; Washington, D. C. : , : IOS Press, , [2013] |
| Descrizione fisica | 1 online resource (376 p.) |
| Disciplina | 005.1/4 |
| Altri autori (Persone) |
BroyM. <1949->
KalusGeorg PeledDoron A. <1962-> |
| Collana | NATO science for peace and security series. Sub-series D, Information and communication security |
| Soggetto topico |
Computer software - Verification
Computer systems - Verification |
| ISBN | 1-61499-207-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
ENGINEERING DEPENDABLE SOFTWARE SYSTEMS; Preface; Contents; A Logical Approach to Systems Engineering Artifacts and Traceability: From Requirements to Functional and Architectural Views; Mastering System Analysis and Design through Abstraction and Refinement; Data Abstraction in VCC; Families of software systems: a model checking approach; A Tutorial on Runtime Verification; Model Checking Meets Probability: A Gentle Introduction; Risk-driven Engineering of Requirements for Dependable Systems; Model-Based Verication, Optimization, Synthesis and Performance Evaluation of Real-Time Systems
Model-Driven Engineering and Model Transformation: for Fun and ProfitSymbolic Execution and Software Testing; Model Checking Basics; Subject Index; Author Index |
| Record Nr. | UNINA-9910971415703321 |
| Amsterdam ; ; Washington, D. C. : , : IOS Press, , [2013] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Hardware and software, verification and testing : second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, revised selected papers / / Eyal Bin, Avi Ziv, Shmuel Ur (editors)
| Hardware and software, verification and testing : second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, revised selected papers / / Eyal Bin, Avi Ziv, Shmuel Ur (editors) |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer, , [2007] |
| Descrizione fisica | 1 online resource (XII, 235 p.) |
| Disciplina | 004 |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Computer systems - Verification
Computer software - Verification Computer programs - Verification Integrated circuits - Verification |
| ISBN |
1-280-86571-7
9786610865710 3-540-70889-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Hardware Verification Track -- Model Checking PSL Using HOL and SMV -- Using Linear Programming Techniques for Scheduling-Based Random Test-Case Generation -- Extracting a Simplified View of Design Functionality Based on Vector Simulation -- Automatic Fault Localization for Property Checking -- Verification of Data Paths Using Unbounded Integers: Automata Strike Back -- Tools Track -- Smart-Lint: Improving the Verification Flow -- Model-Driven Development with the jABC -- Detecting Design Flaws in UML State Charts for Embedded Software -- A Panel: Unpaved Road Between Hardware Verification and Software Testing Techniques -- An Open Source Simulation Model of Software Development and Testing -- Software Testing Track -- ExpliSAT: Guiding SAT-Based Software Verification with Explicit States -- Evolutionary Testing: A Case Study -- A Race-Detection and Flipping Algorithm for Automated Testing of Multi-threaded Programs -- Explaining Intermittent Concurrent Bugs by Minimizing Scheduling Noise -- Testing the Machine in the World -- Choosing a Test Modeling Language: A Survey -- Making Model-Based Testing More Agile: A Use Case Driven Approach. |
| Record Nr. | UNISA-996465851903316 |
| Berlin ; ; Heidelberg : , : Springer, , [2007] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Model checking and artificial intelligence : 4th workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, revised selected and invited papers / / Stefan Edelkamp, Alessio Lomuscio (editors)
| Model checking and artificial intelligence : 4th workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, revised selected and invited papers / / Stefan Edelkamp, Alessio Lomuscio (editors) |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer, , [2007] |
| Descrizione fisica | 1 online resource (IX, 185 p.) |
| Disciplina | 006.3 |
| Collana | Lecture notes in computer science. Lecture notes in artificial intelligence |
| Soggetto topico |
Computer systems - Verification
Computer software - Verification Artificial intelligence |
| ISBN | 3-540-74128-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis -- Verifying Space and Time Requirements for Resource-Bounded Agents -- Automated Creation of Pattern Database Search Heuristics -- Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL -- Real-Time Model Checking on Secondary Storage -- Checking Liveness Properties of Concurrent Systems by Reinforcement Learning -- Bounded Model Checking Real-Time Multi-agent Systems with Clock Differences: Theory and Implementation -- Symbolic Model Checking of Logics with Actions -- A Framework for Model Checking Institutions -- SAT-Based Verification of Security Protocols Via Translation to Networks of Automata -- Distributed Extended Beam Search for Quantitative Model Checking. |
| Record Nr. | UNISA-996465861703316 |
| Berlin ; ; Heidelberg : , : Springer, , [2007] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
