Verifying Temporal Properties of CommUnity Designs (Englisch)
- Neue Suche nach: Aguirre, Nazareno
- Neue Suche nach: Regis, Germán
- Neue Suche nach: Maibaum, Tom
- Neue Suche nach: Aguirre, Nazareno
- Neue Suche nach: Regis, Germán
- Neue Suche nach: Maibaum, Tom
In:
Integrated Formal Methods
;
1-20
;
2007
- Aufsatz/Kapitel (Buch) / Elektronische Ressource
-
Titel:Verifying Temporal Properties of CommUnity Designs
-
Beteiligte:
-
Erschienen in:Integrated Formal Methods ; 1-20Lecture Notes in Computer Science ; 4591 ; 1-20
-
Verlag:
- Neue Suche nach: Springer Berlin Heidelberg
-
Erscheinungsort:Berlin, Heidelberg
-
Erscheinungsdatum:01.01.2007
-
Format / Umfang:20 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz/Kapitel (Buch)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis E-Book
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
Verifying Temporal Properties of CommUnity DesignsAguirre, Nazareno / Regis, Germán / Maibaum, Tom et al. | 2007
- 21
-
Precise Scenarios – A Customer-Friendly Foundation for Formal SpecificationsAu, Oliver / Stone, Roger / Cooke, John et al. | 2007
- 37
-
Automated Verification of Security Policies in Mobile CodeBraghin, Chiara / Sharygina, Natasha / Barone-Adesi, Katerina et al. | 2007
- 54
-
Slicing Concurrent Real-Time System Specifications for VerificationBrückner, Ingo et al. | 2007
- 75
-
Slotted-CircusButterfield, Andrew / Sherif, Adnan / Woodcock, Jim et al. | 2007
- 98
-
Bug Hunting with False NegativesCalamé, Jens / Ioustinova, Natalia / Pol, Jaco / Sidorova, Natalia et al. | 2007
- 118
-
Behavioural Specifications from Class ModelsCavarra, Alessandra / Welch, James et al. | 2007
- 138
-
Inheriting Laws for Processes with StatesChen, Yifeng et al. | 2007
- 156
-
Probabilistic Timed Behavior TreesColvin, Robert / Grunske, Lars / Winter, Kirsten et al. | 2007
- 176
-
Guiding the Correction of Parameterized SpecificationsCouchot, Jean-François / Dadeau, Frédéric et al. | 2007
- 195
-
Proving Linearizability Via Non-atomic RefinementDerrick, John / Schellhorn, Gerhard / Wehrheim, Heike et al. | 2007
- 215
-
Lifting General Correctness into Partial Correctness is okDunne, Steve / Galloway, Andy et al. | 2007
- 233
-
Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing ParametersFaber, Johannes / Jacobs, Swen / Sofronie-Stokkermans, Viorica et al. | 2007
- 253
-
Modelling and Verification of the LMAC Protocol for Wireless Sensor NetworksFehnker, Ansgar / Hoesel, Lodewijk / Mader, Angelika et al. | 2007
- 273
-
Finding State Solutions to Temporal Logic QueriesGheorghiu, Mihaela / Gurfinkel, Arie / Chechik, Marsha et al. | 2007
- 293
-
Qualitative Probabilistic Modelling in Event-BHallerstede, Stefan / Hoang, Thai Son et al. | 2007
- 313
-
Verifying Smart Card Applications: An ASM ApproachHaneberg, Dominik / Grandy, Holger / Reif, Wolfgang / Schellhorn, Gerhard et al. | 2007
- 333
-
Verification of Probabilistic Properties in HOL Using the Cumulative Distribution FunctionHasan, Osman / Tahar, Sofiène et al. | 2007
- 353
-
UTP Semantics for Web ServicesJifeng, He et al. | 2007
- 373
-
Combining Mobility with StateKarkinsky, Damien / Schneider, Steve / Treharne, Helen et al. | 2007
- 393
-
Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse SystemKong, Weiqiang / Ogata, Kazuhiro / Futatsugi, Kokichi et al. | 2007
- 413
-
Capturing Conflict and Confusion in CSPMarr (née Bolton), Christie et al. | 2007
- 439
-
A Stepwise Development Process for Reasoning About the Reliability of Real-Time SystemsMeinicke, Larissa / Smith, Graeme et al. | 2007
- 459
-
Decomposing Integrated Specifications for VerificationMetzler, Björn et al. | 2007
- 480
-
Validating Z Specifications Using the ProB Animator and Model CheckerPlagge, Daniel / Leuschel, Michael et al. | 2007
- 501
-
Verification of Multi-agent Negotiations Using the Alloy AnalyzerPodorozhny, Rodion / Khurshid, Sarfraz / Perry, Dewayne / Zhang, Xiaoqin et al. | 2007
- 518
-
Integrated Static Analysis for Linux Device Driver VerificationPost, Hendrik / Küchlin, Wolfgang et al. | 2007
- 538
-
Integrating Verification, Testing, and Learning for Cryptographic ProtocolsOostdijk, Martijn / Rusu, Vlad / Tretmans, Jan / Vries, R. G. / Willemse, T. A. C. et al. | 2007
- 558
-
Translating FSP into LOTOS and Networks of AutomataSalaün, Gwen / Kramer, Jeff / Lang, Frédéric / Magee, Jeff et al. | 2007
- 579
-
Common Semantics for Use Cases and Task ModelsSinnig, Daniel / Chalin, Patrice / Khendek, Ferhat et al. | 2007
- 599
-
Unifying Theories of ObjectsSmith, Michael Anthony / Gibbons, Jeremy et al. | 2007
- 619
-
Non-interference Properties for Data-Type Reduction of Communicating SystemsToben, Tobe et al. | 2007
- 639
-
Co-simulation of Distributed Embedded Real-Time Control SystemsVerhoef, Marcel / Visser, Peter / Hooman, Jozef / Broenink, Jan et al. | 2007