عنوان

Formal techniques for networked and distributed systems

(Number (ISBN

0792374703

Country Code

IR

Number

338 EBL

.Language of Text, Soundtrack etc

انگلیسی

Country of publication

IR

Title Proper

Formal techniques for networked and distributed systems

General Material Designation

[Book]

Other Title Information

:FORTE 2001 : IFIP TC6 WG6.1--21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea[electronic resource]

First Statement of Responsibility

/ Edited by Myungchul Kim ... [et al.]

Place of Publication, Distribution, etc.

Boston

Name of Publisher, Distributor, etc.

: Kluwer Academic Publishers

Date of Publication, Distribution, etc.

, 2001.

Specific Material Designation and Extent of Item

472 p.

Other Physical Details

: ill.

Text of Note

Electronic

Text of Note

Bibliography

Text of Note

Machine generated contents note: Part One -- FORMAL METHODS IN SOFTWARE DEVELOPMENT I -- 1. Automated Derivation of ILP Implementations from SDL 3 -- Specifications -- S. Twarok, P. Langendoerfer and H. Koenig -- 2. Stepwise Design with Message Sequence Charts 19 -- F. Khendek, S. Bourduas andD. Vincent -- 3. Formal Synthesis and Control of Soft Embedded Real-Time 35 -- Systems -- P.-A. Hsiung -- Part Two -- DISTRIBUTED SYSTEMS TESTING -- 4. Towards a Formal Framework for Interoperability Testing 53 -- C. Viho, S. Barbin and L. Tanguy -- 5. Distributed Test using Logical Clock 69 -- Y. J. Choi, H. Y. Youn, S. Seol and S. J. Yoo -- 6. Diagnosing Multiple Faults in Communicating Finite State 85 -- Machines -- K. El-Fakih, N. Yevtushenko and G. v. Bochmann -- 7. From Active to Passive: Progress in Testing of Internet 101 -- Routing Protocols -- J. Wu, Y. Zhao andX Yin -- Part Three -- TIMED AUTOMATA -- 8. Time and Action Lock Freedom Properties for Timed 119 -- Automata -- H. Bowman -- 9. Compiling Real-Time Scenarios into a Timed Automaton 135 -- A. Salah, R. Dssouli and G. Lapalme -- 10. Deriving Parameter Conditions for Periodic Timed Automata 151 -- Satisfying Real-Time Temporal Logic Formulas -- A. Nakata and T. Higashino -- Part Four -- PROCESS ALGEBRA -- 11. PAMR: A Process Algebra for the Management of 169 -- Resources in Concurrent Systems -- M. Nutiez and I. Rodriguez -- 12. A Symbolic Semantics and Bisimulation for Full LOTOS 185 -- M. Calder and C. Shankland -- 13. Implementing a Modal Logic over Data and Processes using XTL 201 -- J. Bryans and C. Shankland -- Part Five -- APPLICATIONS OF VERIFICATION -- 14. Formal Verification of Peephole Optimizations in 219 -- Asynchronous Circuits -- X Kong and R. Negulescu -- 15. Symbolic Verification of Complex Real-Time Systems with 235 -- Clock-Restriction Diagram -- F. Wang -- 16. Verifying a Sliding Window Protocol using PVS 251 -- V. Rusu -- Part Six -- TEST SEQUENCE DERIVATION -- 17. Test Sequence Selection 269 -- D. Lee and R. Hao -- 18. Executable Test Sequence for the Protocol Data Flow Property 285 -- W.-H. Chen -- 19. A Method to Generate Conformance Test Sequences for 301 -- FSM with Timer System Call -- T. Mori, K. Tokuda, H. Tada, M. Higuchi and T. Higashino -- Part Seven -- FORMAL METHODS IN SOFTWARE DEVELOPMENT H -- 20. A Tool for Generating Specifications from a Family of Formal 319 -- Requirements -- J. Bredereke -- 21. Patterns and Rules for Behavioural Subtyping 335 -- H. Wehrheim -- Part Eight -- THEORIES OF VERIFICATION -- 22. Verification of Dense Time Properties using Theories of 353 -- Untimed Process Algebra -- M. Luukkainen -- 23. Testing Liveness Properties: Approximating Liveness 369 -- Properties by Safety Properties -- U. Ultes-Nitsche and S. St James -- 24. SVL: A Scripting Language for Compositional Verification 377 -- H. Garavel and F. Lang -- Part Nine -- INVITED PAPERS -- 25. On Formal Techniques in Protocol Engineering - Example 395 -- Challenges -- D. Bjorner -- 26. A PKI-Based End-to-End Secure Infrastructure for Mobile 421 -- E-Commerce -- T.-W. Cheungand S. T. Chanson -- 27. A Family of Resource-Bound Real-Time Process Algebras 443 -- I. Lee, J.-Y. Choi, H. H. Kwak, A. Philippou and 0. Sokolsky -- 28. Survivability Analysis of Networked Systems 459 -- J. M. Wing.

Formal methods (Computer science)--Congresses

Electronic data processing--Distributed processing--Congresses

Computer network protocols--Congresses

Class number

Book number

FORTE 2001(2001 :Cheju-do, Korea)

Kim, Myungchul

Country

ایران

Host name

Formal techniques for networked and distributed systems

Access number

عادی

Compression information

محرمانه

Date and Hour of Consultation and Access

2001-69159 Formal Techniques for Networked and Distributed Systems.pdf

Bits per second

4018250

Contact for access assistance

مدیر

Electronic Format Type

متن

File size

0

Record control number

EBL 338

old catalog

e

BL

1

a

Y