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 | ||
|
Formal techniques for networked and distributed systems [[electronic resource] ] : FORTE 2001 : IFIP TC6 WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea / / edited by Myungchul Kim ... [et al.] |
Edizione | [1st ed. 2001.] |
Pubbl/distr/stampa | New York, : Kluwer Academic, c2001 |
Descrizione fisica | 1 online resource (472 pages) |
Disciplina | 004.36 |
Altri autori (Persone) | KimMyungchul |
Collana | IFIP Advances in Information and Communication Technology |
Soggetto topico |
Electronic data processing - Distributed processing
Formal methods (Computer science) |
Soggetto genere / forma | Electronic books. |
ISBN |
1-280-20575-X
9786610205752 0-306-47003-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Formal Methods in Software Development I -- Automated Derivation of ILP Implementations from SDL Specifications -- Stepwise Design with Message Sequence Charts -- Formal Synthesis and Control of Soft Embedded Real-Time Systems -- Distributed Systems Testing -- Towards a Formal Framework for Interoperability Testing -- Distributed Test Using Logical Clock -- Diagnosing Multiple Faults in Communicating Finite State Machines -- From Active to Passive: Progress in Testing of Internet Routing Protocols -- Timed Automata -- Time and Action Lock Freedom Properties for Timed Automata -- Compiling Real-time Scenarios into a Timed Automaton -- Deriving Parameter Conditions for Periodic Timed Automata Satisfying Real-time Temporal Logic Formulas -- Process Algebra -- PAMR: A Process Algebra for the Management of Resources in Concurrent Systems -- A Symbolic Semantics and Bisimulation for Full Lotos -- Implementing a Modal Logic Over Data and Processes Using XTL -- Applications of Verification -- Formal Verification of Peephole Optimizations in Asynchronous Circuits -- Symbolic Verification of Complex Real-time Systems with Clock-restriction Diagram -- Verifying a Sliding-Window Protocol Using PVS -- Test Sequence Derivation -- Test Sequence Selection -- Executable Test Sequence for the Protocol Data Flow Property -- A Method to Generate Conformance Test Sequences for FSM with Timer System Call -- Formal Methods in Software Development II -- A Tool for Generating Specifications from A Family of Formal Requirements -- Patterns and Rules for Behavioural Subtyping -- Theories of Verification -- Verification of Dense Time Properties Using Theories of Untimed Process Algebra -- Testing Liveness Properties -- SVL: A Scripting Language for Compositional Verification -- Invited Papers -- On Formal Techniques in Protocol Engineering — Example Challenges -- A PKI-based End-To-End Secure Infrastructure for Mobile E-Commerce -- A Family of Resource-Bound Real-Time Process Algebras -- Survivability Analysis of Networked Systems. |
Record Nr. | UNINA-9910454849203321 |
New York, : Kluwer Academic, c2001 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Formal techniques for networked and distributed systems [[electronic resource] ] : FORTE 2001 : IFIP TC6 WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea / / edited by Myungchul Kim ... [et al.] |
Edizione | [1st ed. 2001.] |
Pubbl/distr/stampa | New York, : Kluwer Academic, c2001 |
Descrizione fisica | 1 online resource (472 pages) |
Disciplina | 004.36 |
Altri autori (Persone) | KimMyungchul |
Collana | IFIP Advances in Information and Communication Technology |
Soggetto topico |
Electronic data processing - Distributed processing
Formal methods (Computer science) |
ISBN |
1-280-20575-X
9786610205752 0-306-47003-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Formal Methods in Software Development I -- Automated Derivation of ILP Implementations from SDL Specifications -- Stepwise Design with Message Sequence Charts -- Formal Synthesis and Control of Soft Embedded Real-Time Systems -- Distributed Systems Testing -- Towards a Formal Framework for Interoperability Testing -- Distributed Test Using Logical Clock -- Diagnosing Multiple Faults in Communicating Finite State Machines -- From Active to Passive: Progress in Testing of Internet Routing Protocols -- Timed Automata -- Time and Action Lock Freedom Properties for Timed Automata -- Compiling Real-time Scenarios into a Timed Automaton -- Deriving Parameter Conditions for Periodic Timed Automata Satisfying Real-time Temporal Logic Formulas -- Process Algebra -- PAMR: A Process Algebra for the Management of Resources in Concurrent Systems -- A Symbolic Semantics and Bisimulation for Full Lotos -- Implementing a Modal Logic Over Data and Processes Using XTL -- Applications of Verification -- Formal Verification of Peephole Optimizations in Asynchronous Circuits -- Symbolic Verification of Complex Real-time Systems with Clock-restriction Diagram -- Verifying a Sliding-Window Protocol Using PVS -- Test Sequence Derivation -- Test Sequence Selection -- Executable Test Sequence for the Protocol Data Flow Property -- A Method to Generate Conformance Test Sequences for FSM with Timer System Call -- Formal Methods in Software Development II -- A Tool for Generating Specifications from A Family of Formal Requirements -- Patterns and Rules for Behavioural Subtyping -- Theories of Verification -- Verification of Dense Time Properties Using Theories of Untimed Process Algebra -- Testing Liveness Properties -- SVL: A Scripting Language for Compositional Verification -- Invited Papers -- On Formal Techniques in Protocol Engineering — Example Challenges -- A PKI-based End-To-End Secure Infrastructure for Mobile E-Commerce -- A Family of Resource-Bound Real-Time Process Algebras -- Survivability Analysis of Networked Systems. |
Record Nr. | UNINA-9910780042603321 |
New York, : Kluwer Academic, c2001 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Formal techniques for networked and distributed systems [[electronic resource] ] : FORTE 2001 : IFIP TC6 WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea / / edited by Myungchul Kim ... [et al.] |
Edizione | [1st ed. 2001.] |
Pubbl/distr/stampa | New York, : Kluwer Academic, c2001 |
Descrizione fisica | 1 online resource (472 pages) |
Disciplina | 004.36 |
Altri autori (Persone) | KimMyungchul |
Collana | IFIP Advances in Information and Communication Technology |
Soggetto topico |
Electronic data processing - Distributed processing
Formal methods (Computer science) |
ISBN |
1-280-20575-X
9786610205752 0-306-47003-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Formal Methods in Software Development I -- Automated Derivation of ILP Implementations from SDL Specifications -- Stepwise Design with Message Sequence Charts -- Formal Synthesis and Control of Soft Embedded Real-Time Systems -- Distributed Systems Testing -- Towards a Formal Framework for Interoperability Testing -- Distributed Test Using Logical Clock -- Diagnosing Multiple Faults in Communicating Finite State Machines -- From Active to Passive: Progress in Testing of Internet Routing Protocols -- Timed Automata -- Time and Action Lock Freedom Properties for Timed Automata -- Compiling Real-time Scenarios into a Timed Automaton -- Deriving Parameter Conditions for Periodic Timed Automata Satisfying Real-time Temporal Logic Formulas -- Process Algebra -- PAMR: A Process Algebra for the Management of Resources in Concurrent Systems -- A Symbolic Semantics and Bisimulation for Full Lotos -- Implementing a Modal Logic Over Data and Processes Using XTL -- Applications of Verification -- Formal Verification of Peephole Optimizations in Asynchronous Circuits -- Symbolic Verification of Complex Real-time Systems with Clock-restriction Diagram -- Verifying a Sliding-Window Protocol Using PVS -- Test Sequence Derivation -- Test Sequence Selection -- Executable Test Sequence for the Protocol Data Flow Property -- A Method to Generate Conformance Test Sequences for FSM with Timer System Call -- Formal Methods in Software Development II -- A Tool for Generating Specifications from A Family of Formal Requirements -- Patterns and Rules for Behavioural Subtyping -- Theories of Verification -- Verification of Dense Time Properties Using Theories of Untimed Process Algebra -- Testing Liveness Properties -- SVL: A Scripting Language for Compositional Verification -- Invited Papers -- On Formal Techniques in Protocol Engineering — Example Challenges -- A PKI-based End-To-End Secure Infrastructure for Mobile E-Commerce -- A Family of Resource-Bound Real-Time Process Algebras -- Survivability Analysis of Networked Systems. |
Record Nr. | UNINA-9910816862803321 |
New York, : Kluwer Academic, c2001 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Formal techniques for networked and distributed systems-- FORTE 2004 : 24th IFIP WG 6.1 International conference, Madrid, Spain, September 27-30, 2004 : proceedings / / David de Frutos-Escrig, Manuel Núñez, editors |
Pubbl/distr/stampa | Springer Berlin / Heidelberg |
Altri autori (Persone) |
NúñezManuel
Frutos-EscrigDavid de |
Soggetto topico |
Formal methods (Computer science)
Electronic data processing - Distributed processing Computer network protocols |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910144349203321 |
Springer Berlin / Heidelberg | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Formal techniques for networked and distributed systems-- FORTE 2004 : 24th IFIP WG 6.1 International conference, Madrid, Spain, September 27-30, 2004 : proceedings / / David de Frutos-Escrig, Manuel Núñez, editors |
Pubbl/distr/stampa | Springer Berlin / Heidelberg |
Altri autori (Persone) |
NúñezManuel
Frutos-EscrigDavid de |
Soggetto topico |
Formal methods (Computer science)
Electronic data processing - Distributed processing Computer network protocols |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465319403316 |
Springer Berlin / Heidelberg | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Formal techniques for networked and distributed systems-- FORTE 2007 : 27th IFIP WG 6.1 international conference, Tallinn, Estonia, June 27-29, 2007 : proceedings / / John Derrick, Jüri Vain, editors |
Edizione | [1st ed. 2007.] |
Pubbl/distr/stampa | Berlin ; ; Heidelberg ; ; New York : , : Springer, , [2007] |
Descrizione fisica | 1 online resource (XI, 378 p.) |
Disciplina | 004.0151 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Formal methods (Computer science)
Electronic data processing - Distributed processing |
ISBN | 3-540-73196-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talk -- Contracts for BIP: Hierarchical Interaction Models for Compositional Verification -- Technical Session 1. Message Sequence Charts and SDL -- Thread–Based Analysis of Sequence Diagrams -- Recovering Repetitive Sub-functions from Observations -- Specification of Timed EFSM Fault Models in SDL -- Technical Session 2. Concurrency -- Coordination Via Types in an Event-Based Framework -- Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation -- Towards Modal Logic Formalization of Role-Based Access Control with Object Classes -- Technical Session 3. Model Programs -- State Isomorphism in Model Programs with Abstract Data Structures -- Composition of Model Programs -- Technical Session 4. Theory -- New Bisimulation Semantics for Distributed Systems -- Event Correlation with Boxed Pomsets -- A Simple Positive Flows Computation Algorithm for a Large Subclass of Colored Nets -- Technical Session 5. Verification -- Improvements for the Symbolic Verification of Timed Automata -- The DHCP Failover Protocol: A Formal Perspective -- Verifying Erlang/OTP Components in ?CRL -- Technical Session 6. Model Checking -- Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata -- Testing Distributed Systems Through Symbolic Model Checking -- An Incremental and Modular Technique for Checking LTL?X Properties of Petri Nets -- Technical Session 7. Requirements and QoS -- Identifying Acceptable Common Proposals for Handling Inconsistent Software Requirements -- Formalization of Network Quality-of-Service Requirements -- Technical Session 8. Components -- Robustness in Interaction Systems -- Transactional Reduction of Component Compositions -- Specifying and Composing Interaction Protocols for Service-Oriented System Modelling. |
Record Nr. | UNISA-996465275403316 |
Berlin ; ; Heidelberg ; ; New York : , : Springer, , [2007] | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Formal techniques for networked and distributed systems-- FORTE 2007 : 27th IFIP WG 6.1 international conference, Tallinn, Estonia, June 27-29, 2007 : proceedings / / John Derrick, Jüri Vain, editors |
Edizione | [1st ed. 2007.] |
Pubbl/distr/stampa | Berlin ; ; Heidelberg ; ; New York : , : Springer, , [2007] |
Descrizione fisica | 1 online resource (XI, 378 p.) |
Disciplina | 004.0151 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Formal methods (Computer science)
Electronic data processing - Distributed processing |
ISBN | 3-540-73196-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talk -- Contracts for BIP: Hierarchical Interaction Models for Compositional Verification -- Technical Session 1. Message Sequence Charts and SDL -- Thread–Based Analysis of Sequence Diagrams -- Recovering Repetitive Sub-functions from Observations -- Specification of Timed EFSM Fault Models in SDL -- Technical Session 2. Concurrency -- Coordination Via Types in an Event-Based Framework -- Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation -- Towards Modal Logic Formalization of Role-Based Access Control with Object Classes -- Technical Session 3. Model Programs -- State Isomorphism in Model Programs with Abstract Data Structures -- Composition of Model Programs -- Technical Session 4. Theory -- New Bisimulation Semantics for Distributed Systems -- Event Correlation with Boxed Pomsets -- A Simple Positive Flows Computation Algorithm for a Large Subclass of Colored Nets -- Technical Session 5. Verification -- Improvements for the Symbolic Verification of Timed Automata -- The DHCP Failover Protocol: A Formal Perspective -- Verifying Erlang/OTP Components in ?CRL -- Technical Session 6. Model Checking -- Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata -- Testing Distributed Systems Through Symbolic Model Checking -- An Incremental and Modular Technique for Checking LTL?X Properties of Petri Nets -- Technical Session 7. Requirements and QoS -- Identifying Acceptable Common Proposals for Handling Inconsistent Software Requirements -- Formalization of Network Quality-of-Service Requirements -- Technical Session 8. Components -- Robustness in Interaction Systems -- Transactional Reduction of Component Compositions -- Specifying and Composing Interaction Protocols for Service-Oriented System Modelling. |
Record Nr. | UNINA-9910768164703321 |
Berlin ; ; Heidelberg ; ; New York : , : Springer, , [2007] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
FormaliSE 2016 : proceedings, 4th FME Workshop on Formal Methods in Software Engineering : 15 May 2016, Austin, Texas, USA / / sponsor, ACM |
Pubbl/distr/stampa | New York : , : ACM, , 2016 |
Descrizione fisica | 1 online resource (61 pages) |
Disciplina | 004.0151 |
Soggetto topico |
Formal methods (Computer science)
Software engineering |
Soggetto genere / forma | Electronic books. |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996279618803316 |
New York : , : ACM, , 2016 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
FormaliSE 2016 : proceedings, 4th FME Workshop on Formal Methods in Software Engineering : 15 May 2016, Austin, Texas, USA / / sponsor, ACM |
Pubbl/distr/stampa | New York : , : ACM, , 2016 |
Descrizione fisica | 1 online resource (61 pages) |
Disciplina | 004.0151 |
Soggetto topico |
Formal methods (Computer science)
Software engineering |
Soggetto genere / forma | Electronic books. |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910136865803321 |
New York : , : ACM, , 2016 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|