Formal techniques for networked and distributed systems--FORTE 2002 : 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings /: 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings. (2018)

• Record Type: Book
• Further Information: Note: Doron A. Peled, Moshe Y. Vardi (eds.).
• Other Names: Peled, Doron A, 1962-; Vardi, Moshe Y; FORTE 2002
• Contents: Encoding PAMR into (Timed) EFSMs / Manuel Nunez and Ismael Rodriguez -- Submodule Construction for Specifications with Input Assumptions and Output Guarantees / Gregor v. Bochmann -- Congruent Weak Conformance, a Partial Order among Processes / Ronald W. Brower and Kenneth S. Stevens -- Symmetric Symbolic Safety-Analysis of Concurrent Software with Pointer Data Structures / Farn Wang and Karsten Schmidt -- A Nested Depth First Search Algorithm for Model Checking with Symmetry Reduction / Dragan Bosnacki -- Protocol Techniques for Testing Radiotherapy Accelerators / Kenneth J. Turner and Qian Bing -- System Test Synthesis from UML Models of Distributed Software / Simon Pickin, Claude Jard, Yves Le Traon, Thierry Jeron, Jean-Marc Jezequel and Alain Le Guennec -- Formal Test Purposes and the Validity of Test Cases / Peter H. Deussen and Stephan Tobies -- Use of Logic to Describe Enhanced Communications Services / Stephan Reiff-Marganiec and Kenneth J. Turner -- A Formal Venture into Reliable Multicast Territory / Carolos Livadas and Nancy A. Lynch -- Modelling SIP Services Using CRESS / Kenneth J. Turner -- Verifying Reliable Data Transmission over UMTS Radio Interface with High Level Petri Nets / Teemu Tynjala, Sari Leppanen and Vesa Luukkala -- Verifying Randomized Byzantine Agreement / Marta Kwiatkowska and Gethin Norman -- Automatic SAT-Compilation of Protocol Insecurity Problems via Reduction to Planning / Alessandro Armando and Luca Compagna -- Visual Specifications for Modular Reasoning about Asynchronous Systems / Nina Amla, E. Allen Emerson, Kedar S. Namjoshi and Richard J. Trefler -- Bounded Model Checking for Timed Systems / G. Audemard, A. Cimatti, A. Kornilowicz and R. Sebastiani -- C Wolf -- A Toolset for Extracting Models from C Programs / Daniel C. Du Varney and S. Purushothaman Iyer -- NTIF: A General Symbolic Model for Communicating Sequential Processes with Data / Hubert Garavel and Frederic Lang -- Building Tools for LOTOS Symbolic Semantics in Maude / Alberto Verdejo -- From States to Transitions: Improving Translation of LTL Fourmulae to Buchi Automata / Dimitra Giannakopoulou and Flavio Lerda -- A Compositional Sweep-Line State Space Exploration Method / Lars Michael Kristensen and Thomas Mailund -- On Combining the Persistent Sets Method with the Covering Steps Graph Method / Pierre-Olivier Ribet, Francois Vernadat and Bernard Berthomieu -- Innovative Verification Techniques Used in the Implementation of a Third-Generation 1.1GHz 64b Microprocessor / Victor Melamed, Harry Stuimer, David Wilkins, Lawrence Chang, Kevin Normoyle and Sutikshan Bhutani -- Mechanical Translation of I/O Automation Specifications into First-Order Logic / Andrej Bogdanov, Stephen J. Garland and Nancy A. Lynch -- Verification of Event-Based Synchronization of SpecC Description Using Difference Decision Diagrams / Thanyapat Sakunkonchak and Masahiro Fujita -- A Distributed Partial Order Reduction Algorithm / Robert Palmer and Ganesh Gopalakrishan.
• Publisher Details: Berlin, Heidelberg : Springer
• Publication Date: 2018
• Copyright Date: 2018
• Extent: 1 online resource (157 pages)
• Subjects: 004.01/51; Formal methods (Computer science) -- Congresses; Electronic data processing -- Distributed processing -- Congresses; Computer network protocols -- Congresses; Méthodes formelles (Informatique) -- Congrès; Protocoles de réseaux d'ordinateurs -- Congrès; Traitement réparti -- Congrès; Computer network protocols; Electronic data processing -- Distributed processing; Formal methods (Computer science); Computernetwerken; Systeembeheer; Electronic books; Conference papers and proceedings
• Languages: English
• ISBNs: 9783662563434
• Related ISBNs: 9783662563427
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.