![](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
28th FORTE 2008: Tokyo, Japan
- Kenji Suzuki, Teruo Higashino, Keiichi Yasumoto, Khaled El-Fakih:
Formal Techniques for Networked and Distributed Systems - FORTE 2008, 28th IFIP WG 6.1 International Conference, Tokyo, Japan, June 10-13, 2008, Proceedings. Lecture Notes in Computer Science 5048, Springer 2008, ISBN 978-3-540-68854-9
Invited Talk
- Ethan K. Jackson, Wolfram Schulte:
Model Generation for Horn Logic with Stratified Negation. 1-20
Abstraction
- Tobe Toben:
Counterexample Guided Spotlight Abstraction Refinement. 21-36 - Jonathan Bogdoll, Holger Hermanns, Lijun Zhang:
An Experimental Evaluation of Probabilistic Simulation. 37-52 - Margus Veanes, Nikolaj S. Bjørner, Alexander Raschke:
An SMT Approach to Bounded Reachability Analysis of Model Programs. 53-68
Verification
- Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, Frédéric Haziza, Ahmed Rezine:
Parameterized Tree Systems. 69-83 - Christophe Pajault, Jean-François Pradat-Peyre, Pierre Rousseau:
Adapting Petri Nets Reductions to Promela Specifications. 84-98 - Souheib Baarir, Julien Sopena, Fabrice Legond-Aubry:
Verification of a Hierarchical Generic Mutual Exclusion Algorithm. 99-115
Specification Framework I
- Ananda Basu, Philippe Bidinger, Marius Bozga, Joseph Sifakis:
Distributed Semantics and Implementation for Systems with Interaction and Priority. 116-133 - Vincenzo Ciancia
, Gian-Luigi Ferrari
, Roberto Guanciale
, Daniele Strollo:
Checking Correctness of Transactional Behaviors. 134-148 - Jing Li, Huibiao Zhu, Jifeng He:
Specifying and Verifying Web Transactions. 149-168
Application
- Jonathan Billington, Amar Kumar Gupta, Guy Edward Gallasch:
Modelling and Analysing the Contract Net Protocol - Extension Using Coloured Petri Nets. 169-184 - Farn Wang, Chih-Hong Cheng:
Program Repair Suggestions from Graphical State-Transition Specifications. 185-200 - Qiang Guo, John Derrick
, Csaba Hoch:
Verifying Erlang Telecommunication Systems with the Process Algebra µCRL. 201-217
Specification Framework II
- Christian Webel, Reinhard Gotzhein, Joachim Nicolay:
NQSL - Formal Language and Tool Support for Network Quality-of-Service Requirements. 218-233 - Bogdan Aman
, Gabriel Ciobanu
:
Timed Mobile Ambients for Network Protocols. 234-250 - Ichiro Satoh:
A Specification Framework for Earth-Friendly Logistics. 251-266
Theory
- Manuel Núñez
, Luis Fernando Llana Díaz
:
A Hierarchy of Equivalences for Probabilistic Processes. 267-282 - David de Frutos-Escrig
, Miguel Palomino
, Ignacio Fábregas
:
Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations. 283-298
Reliability of Networked Systems
- Guoqiang Shu, Yating Hsu, David Lee:
Detecting Communication Protocol Security Flaws by Formal Fuzz Testing and Machine Learning. 299-304 - Wei Wang, Dongyao Ji:
Using SPIN to Detect Vulnerabilities in the AACS Drive-Host Authentication Protocol. 305-323 - Margus Veanes, Wolfram Schulte:
Protocol Modeling with Model Program Composition. 324-339
![](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.