D.2.4 Software/Program Verification. Formal methods

Label

• D.2.4 Software/Program Verification. Formal methods (literal)

Membro di

• Parole chiave di "Combining declarative and procedural views in the specification and analysis of product families" (Insieme di parole chiave)
• Parole chiave di "Modelling and analysing an identity federation protocol: federated network providers scenario" (Insieme di parole chiave)
• Keywords of "An action/state-based model-checking approach for the analysis of communication protocols for service-oriented applications" (Insieme di parole chiave)
• Keywords of "A state/event-based model-checking approach for the analysis of abstract system properties" (Insieme di parole chiave)
• Parole chiave di "Formal methods for industrial critical systems: a survey of applications" (Insieme di parole chiave)
• Keywords of "An action/state-based model-checking approach for the analysis of an asynchronous protocol for Service-Oriented Applications" (Insieme di parole chiave)
• Keywords of "Automated verification of groupware protocols" (Insieme di parole chiave)
• Keywords of "Web service composition approaches: from industrial standards to formal methods" (Insieme di parole chiave)
• Parole chiave di "On the validation of an interlocking system by model-checking" (Insieme di parole chiave)
• Keywords of "A team automaton scenario for the analysis of security properties in communication protocols" (Insieme di parole chiave)
• Parole chiave di "Detecting policy conflicts by model checking UML state machines" (Insieme di parole chiave)
• Parole chiave di "Formal methods and analysis in software product line engineering: 4th edition of FMSPLE workshop series" (Insieme di parole chiave)
• Parole chiave di "Towards model checking stochastic aspects of the 'thinkteam' user interface" (Insieme di parole chiave)
• Parole chiave di "Formal methods for service composition" (Insieme di parole chiave)
• Keywords of "Assisting the design of an industrial groupware system by model checking" (Insieme di parole chiave)
• Parole chiave di "Formal modelling and verification in service-oriented computing" (Insieme di parole chiave)
• Parole chiave di "Quantitative Aspects of Programming Languages and Systems (2011-12). Preface" (Insieme di parole chiave)

Value

• D.2.4 Software/Program Verification. Formal methods (literal)

Incoming links:

Ha membro

• Keywords of "A state/event-based model-checking approach for the analysis of abstract system properties" (Insieme di parole chiave)
• Parole chiave di "Modelling and analysing an identity federation protocol: federated network providers scenario" (Insieme di parole chiave)
• Keywords of "An action/state-based model-checking approach for the analysis of communication protocols for service-oriented applications" (Insieme di parole chiave)
• Parole chiave di "On the validation of an interlocking system by model-checking" (Insieme di parole chiave)
• Parole chiave di "Towards model checking stochastic aspects of the 'thinkteam' user interface" (Insieme di parole chiave)
• Parole chiave di "Combining declarative and procedural views in the specification and analysis of product families" (Insieme di parole chiave)
• Parole chiave di "Formal methods and analysis in software product line engineering: 4th edition of FMSPLE workshop series" (Insieme di parole chiave)
• Parole chiave di "Formal methods for industrial critical systems: a survey of applications" (Insieme di parole chiave)
• Keywords of "Web service composition approaches: from industrial standards to formal methods" (Insieme di parole chiave)
• Parole chiave di "Formal modelling and verification in service-oriented computing" (Insieme di parole chiave)
• Keywords of "An action/state-based model-checking approach for the analysis of an asynchronous protocol for Service-Oriented Applications" (Insieme di parole chiave)
• Parole chiave di "Formal methods for service composition" (Insieme di parole chiave)
• Parole chiave di "Quantitative Aspects of Programming Languages and Systems (2011-12). Preface" (Insieme di parole chiave)
• Parole chiave di "Detecting policy conflicts by model checking UML state machines" (Insieme di parole chiave)
• Keywords of "Assisting the design of an industrial groupware system by model checking" (Insieme di parole chiave)
• Keywords of "A team automaton scenario for the analysis of security properties in communication protocols" (Insieme di parole chiave)
• Keywords of "Automated verification of groupware protocols" (Insieme di parole chiave)