Model checking

Label

• Model checking (literal)

Membro di

• Parole chiave di "Using mCRL2 for the analysis of software product lines (extended version)." (Insieme di parole chiave)
• Keywords of "Modelling and analysing the finance case study in UMC" (Insieme di parole chiave)
• Keywords of "An application of stochastic model checking in the industry: user-centered modeling and analysis of collaboration in thinkteam" (Insieme di parole chiave)
• Keywords of "VMC: a tool for the analysis of variability in software product lines" (Insieme di parole chiave)
• Keywords of "Detecting policy conflicts by model checking UML state machines" (Insieme di parole chiave)
• Parole chiave di "A model-checking tool for families of services" (Insieme di parole chiave)
• Keywords of "A model checking approach for verifying COWS specifications" (Insieme di parole chiave)
• Parole chiave di "Demonstration of a model checker for the analysis of product variability." (Insieme di parole chiave)
• Parole chiave di "Verification and validation meet planning and scheduling" (Insieme di parole chiave)
• Keywords of "A collection of models of a bike-sharing case study." (Insieme di parole chiave)
• Keywords of "On the validation of an interlocking system by model-checking" (Insieme di parole chiave)
• Parole chiave di "An action/state-based model-checking approach for the analysis of communication protocols for service-oriented applications" (Insieme di parole chiave)
• Keywords of "Design and validation of variability in product lines" (Insieme di parole chiave)
• Keywords of "The Variability Model Checker VMC." (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 case study on the automated verification of groupware protocols" (Insieme di parole chiave)
• Keywords of "Assisting the design of a groupware system - Model checking usability aspects of thinkteam" (Insieme di parole chiave)
• Keywords of "Using mCRL2 for the analysis of software product lines" (Insieme di parole chiave)
• Keywords of "VMC: Recent advances and challenges ahead" (Insieme di parole chiave)
• Keywords of "Partial mode checking, process algebra operators and satisfiability procedures for (automatically) enforcing security properties" (Insieme di parole chiave)
• Keywords of "Model-based development and formal methods in the railway industry" (Insieme di parole chiave)
• Parole chiave di "Families of dependable systems:a model checking approach" (Insieme di parole chiave)
• Parole chiave di "A tool for the synthesis of cryptographic orchestrators" (Insieme di parole chiave)
• Keywords of "Using Temporal Logic and Model Checking in Automated Recognition of Human Activities for Ambient-Assisted Living" (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 "Modelling interactive experience, function and performance in ubiquitous systems" (Insieme di parole chiave)
• Parole chiave di "Formal Verification of a Distributed Master Election Protocol" (Insieme di parole chiave)
• Keywords of "Automatic verification of a lip-synchronisation protocol using UPPAAL" (Insieme di parole chiave)
• Parole chiave di "KandISTI: a family of model checkers for the analysis of software designs" (Insieme di parole chiave)
• Parole chiave di "Modelling and verification of PREMO synchronisable objects" (Insieme di parole chiave)
• Keywords of "Formal verification of an automotive scenario in service-oriented computing" (Insieme di parole chiave)
• Parole chiave di "Synthesis of Web Services Orchestrators in a Timed Setting" (Insieme di parole chiave)
• Parole chiave di "A model checking framework for (Mobile) UML statecharts" (Insieme di parole chiave)
• Parole chiave di "Formal description of variability in product families" (Insieme di parole chiave)
• Keywords of "Architectural verification of black-box component-based systems" (Insieme di parole chiave)
• Parole chiave di "Towards modular verification of software product lines with mCRL2" (Insieme di parole chiave)
• Keywords of "Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking" (Insieme di parole chiave)
• Keywords of "CMC-UMC: a framework for the verification of abstract service-oriented properties" (Insieme di parole chiave)
• Keywords of "Combining declarative and procedural views in the specification and analysis of product families" (Insieme di parole chiave)
• Keywords of "Software product line analysis with mCRL2" (Insieme di parole chiave)
• Parole chiave di "A tool for the synthesis of cryptographic orchestrators" (Insieme di parole chiave)
• Keywords of "Assisting the design of an industrial groupware system by model checking" (Insieme di parole chiave)
• Parole chiave di "Sensoria - Manual for using the UMC model of the finance case study" (Insieme di parole chiave)
• Keywords of "Formal verification of an automotive scenario in service-oriented computing" (Insieme di parole chiave)
• Keywords of "Sensoria - Manual for using the UMC model of the automotive case study" (Insieme di parole chiave)
• Parole chiave di "A model checking approach for verifying COWS specifications" (Insieme di parole chiave)
• Keywords of "A state/event-based model-checking approach for the analysis of abstract system properties" (Insieme di parole chiave)

Value

• Model checking (literal)

Incoming links:

Ha membro

• Keywords of "Using Temporal Logic and Model Checking in Automated Recognition of Human Activities for Ambient-Assisted Living" (Insieme di parole chiave)
• Keywords of "Partial mode checking, process algebra operators and satisfiability procedures for (automatically) enforcing security properties" (Insieme di parole chiave)
• Parole chiave di "Verification and validation meet planning and scheduling" (Insieme di parole chiave)
• Keywords of "Using mCRL2 for the analysis of software product lines" (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 "Modelling and verification of PREMO synchronisable objects" (Insieme di parole chiave)
• Parole chiave di "An action/state-based model-checking approach for the analysis of communication protocols for service-oriented applications" (Insieme di parole chiave)
• Keywords of "Modelling and analysing the finance case study in UMC" (Insieme di parole chiave)
• Keywords of "VMC: Recent advances and challenges ahead" (Insieme di parole chiave)
• Keywords of "VMC: a tool for the analysis of variability in software product lines" (Insieme di parole chiave)
• Keywords of "Automatic verification of a lip-synchronisation protocol using UPPAAL" (Insieme di parole chiave)
• Parole chiave di "KandISTI: a family of model checkers for the analysis of software designs" (Insieme di parole chiave)
• Keywords of "Assisting the design of a groupware system - Model checking usability aspects of thinkteam" (Insieme di parole chiave)
• Keywords of "On the validation of an interlocking system by model-checking" (Insieme di parole chiave)
• Parole chiave di "A model checking framework for (Mobile) UML statecharts" (Insieme di parole chiave)
• Parole chiave di "Formal description of variability in product families" (Insieme di parole chiave)
• Parole chiave di "Demonstration of a model checker for the analysis of product variability." (Insieme di parole chiave)
• Keywords of "Combining declarative and procedural views in the specification and analysis of product families" (Insieme di parole chiave)
• Parole chiave di "A tool for the synthesis of cryptographic orchestrators" (Insieme di parole chiave)
• Parole chiave di "Synthesis of Web Services Orchestrators in a Timed Setting" (Insieme di parole chiave)
• Parole chiave di "Sensoria - Manual for using the UMC model of the finance case study" (Insieme di parole chiave)
• Keywords of "Design and validation of variability in product lines" (Insieme di parole chiave)
• Parole chiave di "Families of dependable systems:a model checking approach" (Insieme di parole chiave)
• Keywords of "Formal verification of an automotive scenario in service-oriented computing" (Insieme di parole chiave)
• Parole chiave di "A tool for the synthesis of cryptographic orchestrators" (Insieme di parole chiave)
• Keywords of "Modelling interactive experience, function and performance in ubiquitous systems" (Insieme di parole chiave)
• Parole chiave di "Towards modular verification of software product lines with mCRL2" (Insieme di parole chiave)
• Keywords of "Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking" (Insieme di parole chiave)
• Keywords of "Software product line analysis with mCRL2" (Insieme di parole chiave)
• Parole chiave di "Formal Verification of a Distributed Master Election Protocol" (Insieme di parole chiave)
• Parole chiave di "A model checking approach for verifying COWS specifications" (Insieme di parole chiave)
• Keywords of "A collection of models of a bike-sharing case study." (Insieme di parole chiave)
• Keywords of "Sensoria - Manual for using the UMC model of the automotive case study" (Insieme di parole chiave)
• Parole chiave di "Using mCRL2 for the analysis of software product lines (extended version)." (Insieme di parole chiave)
• Keywords of "An application of stochastic model checking in the industry: user-centered modeling and analysis of collaboration in thinkteam" (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 "Detecting policy conflicts by model checking UML state machines" (Insieme di parole chiave)
• Keywords of "The Variability Model Checker VMC." (Insieme di parole chiave)
• Keywords of "Assisting the design of an industrial groupware system by model checking" (Insieme di parole chiave)
• Keywords of "Model-based development and formal methods in the railway industry" (Insieme di parole chiave)
• Keywords of "Formal verification of an automotive scenario in service-oriented computing" (Insieme di parole chiave)
• Parole chiave di "A model-checking tool for families of services" (Insieme di parole chiave)
• Keywords of "CMC-UMC: a framework for the verification of abstract service-oriented properties" (Insieme di parole chiave)
• Keywords of "Architectural verification of black-box component-based systems" (Insieme di parole chiave)
• Keywords of "A case study on the automated verification of groupware protocols" (Insieme di parole chiave)
• Keywords of "A model checking approach for verifying COWS specifications" (Insieme di parole chiave)