![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
13th FORTE / 20th PSTV 2000: Pisa, Italy
- Tommaso Bolognesi, Diego Latella:
Formal Techniques for Distributed System Development, FORTE/PSTV 2000, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX), October 10-13, 2000, Pisa, Italy. IFIP Conference Proceedings 183, Kluwer 2000, ISBN 0-7923-7968-3
Part One: Verification and Theorem Proving
- Holger Pfeifer:
Formal Verification of the TTP Group Membership Algorithm. FORTE 2000: 3-18 - Mark A. Smith, Nils Klarlund:
Verification of a Sliding Window Protocol Using IOA and MONA. FORTE 2000: 19-34 - Mila E. Majster-Cederbaum, Frank Salger, Maria Sorea:
A Priori Verification of Reactive Systems. FORTE 2000: 35-50
Part Two: Test Generation
- Kousha Etessami, Mihalis Yannakakis:
From Rule-based to Automata-based Testing. FORTE 2000: 53-68 - Nancy D. Griffeth, Ruibing Hao, David Lee, Rakesh K. Sinha:
Integrated System Interoperability Testing with Applications to VOIP. FORTE 2000: 69-84 - Alexandre Petrenko, Nina Yevtushenko:
On Test Derivation from Partial Specifications. FORTE 2000: 85-102
Part Three: Model Checking - Theory
- Antonella Santone:
Compositionality for Improving Model Checking. FORTE 2000: 105-120 - Serge Haddad, Jean-Michel Ilié, Khalil Ajami:
A Model Checking Method for Partially Symmetric Systems. FORTE 2000: 121-136
Part Four: Model Checking - Applications
- Doron A. Peled:
Specification and Verification of Message Sequence Charts. FORTE 2000: 139-154 - Luca Durante, Riccardo Sisto, Adriano Valenzano:
A State-Exploration Technique for Spi-Calculus Testing Equivalence Verification. FORTE 2000: 155-170 - Giorgio Delzanno:
Verification of Consistency Protocols via Infinite-Stae Symbolic Model Checking. FORTE 2000: 171-186
Part Five: Multicast Protocol Analysis and Simulation
- Ahmed Helmy, Sandeep Gupta, Deborah Estrin, Alberto Cerpa, Yan Yu:
Systematic Performance Evaluation of Multipoint Protocols. FORTE 2000: 189-204 - Justin Templemore-Finlayson, Eugen Borcoci:
Simulating Multicast Transport Protocols in Estelle. FORTE 2000: 205-218 - Thomas Steinert, Georg Rößler:
Generation of Realistic Signalling Traffic in an ISDN Load Test System using SDL User Models. FORTE 2000: 219-234
Part Six: Exhaustive and Probabilistic Testing
- Ulrich Ultes-Nitsche:
Satisfaction up to Liveness. FORTE 2000: 237-248 - Ruibing Hao, David Lee, Rakesh K. Sinha, Dario Vlah:
Testing IP Routing Protocols - From Probabilistic Algorithms to a Software Tool. FORTE 2000: 249-264
Part Seven: Hardware Specification, Implementation and Testing
- Ji He, Kenneth J. Turner:
Verifying and Testing Asynchronous Circuits using LOTOS. FORTE 2000: 267-283 - Hisaaki Katagiri, Masayuki Kirimura, Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi:
Hardware implementation of Concurrent Periodic EFSM's. FORTE 2000: 285-300 - Basant Rajan, R. K. Shyamasundar:
Modeling Distributed Embedded Systems in Multiclock ESTEREL. FORTE 2000: 301-316
Part Eight: Formal Semantics
- Marco Bernardo, Marina Ribaudo, Nadia Busi:
Compact Net Semantics for Process Algebras. FORTE 2000: 319-334 - Michael von der Beeck:
A Concise Compositionalj Statecharts Semantics Definition. FORTE 2000: 335-350 - Alberto Verdejo, Narciso Martí-Oliet:
Implementing CCS in Maude. FORTE 2000: 351-366
Part Nine: Invited Papers on Verification and Security
- John M. Rushby:
From Refutation to Verification. FORTE 2000: 369-374 - Michele Boreale, Rocco De Nicola, Rosario Pugliese:
Process Algebraic Analysis of Cryptographic Protocols. FORTE 2000: 375-392 - Massimo Benerecetti, Fausto Giunchiglia, Maurizio Panti, Luca Spalazzi:
A Logic of Belief and a Model Checking Algorithm for Security Protocols. FORTE 2000: 393-408
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.