FM 2016: Formal Methods [[electronic resource] ] : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings / / edited by John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (XXIII, 789 p. 204 illus.) |
Disciplina | 004.0151 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Mathematical logic Computer logic Management information systems Computer science Computers Software Engineering Mathematical Logic and Formal Languages Logics and Meanings of Programs Management of Computing and Information Systems Computation by Abstract Devices |
ISBN | 3-319-48989-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Interdisciplinary formal methods -- Formal methods in practice -- Tools for formal methods -- Role of formal methods in software and systems engineering -- Theoretical foundations. |
Record Nr. | UNISA-996465598003316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
FM 2016: Formal Methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings / / edited by John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (XXIII, 789 p. 204 illus.) |
Disciplina | 004.0151 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Mathematical logic Computer logic Management information systems Computer science Computers Software Engineering Mathematical Logic and Formal Languages Logics and Meanings of Programs Management of Computing and Information Systems Computation by Abstract Devices |
ISBN | 3-319-48989-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Interdisciplinary formal methods -- Formal methods in practice -- Tools for formal methods -- Role of formal methods in software and systems engineering -- Theoretical foundations. |
Record Nr. | UNINA-9910484138103321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Formal techniques for distributed objects, components, and systems : 42nd IFIP WG 6.1 International Conference, FORTE 2022, held as part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-18, 2022, proceedings / / Mohammad Reza Mousavi, Anna Philippou, editors |
Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2022] |
Descrizione fisica | 1 online resource (222 pages) |
Disciplina | 004.36 |
Collana | Lecture notes in computer science |
Soggetto topico |
Electronic data processing - Distributed processing
Formal methods (Computer science) Software engineering |
ISBN | 3-031-08679-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996478867303316 |
Cham, Switzerland : , : Springer, , [2022] | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Formal techniques for distributed objects, components, and systems : 42nd IFIP WG 6.1 International Conference, FORTE 2022, held as part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-18, 2022, proceedings / / Mohammad Reza Mousavi, Anna Philippou, editors |
Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2022] |
Descrizione fisica | 1 online resource (222 pages) |
Disciplina | 004.36 |
Collana | Lecture notes in computer science |
Soggetto topico |
Electronic data processing - Distributed processing
Formal methods (Computer science) Software engineering |
ISBN | 3-031-08679-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910574862103321 |
Cham, Switzerland : , : Springer, , [2022] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Tools and Algorithms for the Construction and Analysis of Systems [[electronic resource] ] : 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings / / edited by Stefan Kowalewski, Anna Philippou |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
Descrizione fisica | 1 online resource (XVI, 456 p.) |
Disciplina | 005.1 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Software engineering
Computer programming Algorithms Computer science Software Engineering Programming Techniques Computer Science Logic and Foundations of Programming |
ISBN | 3-642-00768-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Model Checking I -- Hierarchical Set Decision Diagrams and Regular Models -- Büchi Complementation and Size-Change Termination -- Learning Minimal Separating DFA’s for Compositional Verification -- Tools I -- RBAC-PAT: A Policy Analysis Tool for Role Based Access Control -- ITPN-PerfBound: A Performance Bound Tool for Interval Time Petri Nets -- Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches -- Alpaga: A Tool for Solving Parity Games with Imperfect Information -- Game-Theoretic Approaches -- Compositional Predicate Abstraction from Game Semantics -- Compositional Synthesis of Reactive Systems from Live Sequence Chart Specifications -- Computing Weakest Strategies for Safety Games of Imperfect Information -- Verification of Concurrent Programs -- Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of Threads -- Semantic Reduction of Thread Interleavings in Concurrent Programs -- Inferring Synchronization under Limited Observability -- The Complexity of Predicting Atomicity Violations -- Tools II -- MoonWalker: Verification of .NET Programs -- Boolector: An Efficient SMT Solver for Bit-Vectors and Arrays -- The Yogi Project: Software Property Checking via Static Analysis and Testing -- TaPAS: The Talence Presburger Arithmetic Suite -- Model Checking II -- Transition-Based Directed Model Checking -- Memoised Garbage Collection for Software Model Checking -- Hierarchical Adaptive State Space Caching Based on Level Sampling -- Parametric Analysis -- Static Analysis Techniques for Parameterised Boolean Equation Systems -- Parametric Trace Slicing and Monitoring -- Generative Approaches -- From Tests to Proofs -- Test Input Generation for Programs with Pointers -- Specification Mining with Few False Positives -- Program Analysis -- Path Feasibility Analysis for String-Manipulating Programs -- Symbolic String Verification: Combining String Analysis and Size Analysis -- Iterating Octagons -- Verifying Reference Counting Implementations -- Hybrid Systems -- Falsification of LTL Safety Properties in Hybrid Systems -- Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints -- Decision Procedures and Theorem Proving -- All-Termination(T) -- Ground Interpolation for the Theory of Equality -- Satisfiability Procedures for Combination of Theories Sharing Integer Offsets -- Invited Contribution -- Bridging the Gap Between Model-Based Development and Model Checking. |
Record Nr. | UNISA-996465990203316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Tools and Algorithms for the Construction and Analysis of Systems : 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings / / edited by Stefan Kowalewski, Anna Philippou |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
Descrizione fisica | 1 online resource (XVI, 456 p.) |
Disciplina | 005.1 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Software engineering
Computer programming Algorithms Computer science Software Engineering Programming Techniques Computer Science Logic and Foundations of Programming |
ISBN | 3-642-00768-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Model Checking I -- Hierarchical Set Decision Diagrams and Regular Models -- Büchi Complementation and Size-Change Termination -- Learning Minimal Separating DFA’s for Compositional Verification -- Tools I -- RBAC-PAT: A Policy Analysis Tool for Role Based Access Control -- ITPN-PerfBound: A Performance Bound Tool for Interval Time Petri Nets -- Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches -- Alpaga: A Tool for Solving Parity Games with Imperfect Information -- Game-Theoretic Approaches -- Compositional Predicate Abstraction from Game Semantics -- Compositional Synthesis of Reactive Systems from Live Sequence Chart Specifications -- Computing Weakest Strategies for Safety Games of Imperfect Information -- Verification of Concurrent Programs -- Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of Threads -- Semantic Reduction of Thread Interleavings in Concurrent Programs -- Inferring Synchronization under Limited Observability -- The Complexity of Predicting Atomicity Violations -- Tools II -- MoonWalker: Verification of .NET Programs -- Boolector: An Efficient SMT Solver for Bit-Vectors and Arrays -- The Yogi Project: Software Property Checking via Static Analysis and Testing -- TaPAS: The Talence Presburger Arithmetic Suite -- Model Checking II -- Transition-Based Directed Model Checking -- Memoised Garbage Collection for Software Model Checking -- Hierarchical Adaptive State Space Caching Based on Level Sampling -- Parametric Analysis -- Static Analysis Techniques for Parameterised Boolean Equation Systems -- Parametric Trace Slicing and Monitoring -- Generative Approaches -- From Tests to Proofs -- Test Input Generation for Programs with Pointers -- Specification Mining with Few False Positives -- Program Analysis -- Path Feasibility Analysis for String-Manipulating Programs -- Symbolic String Verification: Combining String Analysis and Size Analysis -- Iterating Octagons -- Verifying Reference Counting Implementations -- Hybrid Systems -- Falsification of LTL Safety Properties in Hybrid Systems -- Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints -- Decision Procedures and Theorem Proving -- All-Termination(T) -- Ground Interpolation for the Theory of Equality -- Satisfiability Procedures for Combination of Theories Sharing Integer Offsets -- Invited Contribution -- Bridging the Gap Between Model-Based Development and Model Checking. |
Record Nr. | UNINA-9910483253403321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|