Search

Your search keyword '"Abstract state machines"' showing total 909 results

Search Constraints

Start Over You searched for: Descriptor "Abstract state machines" Remove constraint Descriptor: "Abstract state machines"
909 results on '"Abstract state machines"'

Search Results

1. Proof Construction and Checking on Evolving Abstract State Machines

2. Small Step Incremental Verification of Compilers

3. Modal Extensions of the Logic of Abstract State Machines

4. A journey with ASMETA from requirements to code: application to an automotive system with adaptive features.

5. Compositional Simulation of Abstract State Machines for Safety Critical Systems

6. Practical Theory of Computation on Structures

8. Towards ASM-Based Automated Formal Verification of Security Protocols

9. Computation on Structures : Behavioural Theory, Logic, Complexity

10. Some Thoughts on Computational Models: From Massive Human Computing to Abstract State Machines, and Beyond

11. Analysis of Mobile Networks’ Protocols Based on Abstract State Machine

12. Model-Based Simulation at Runtime with Abstract State Machines

13. Addressing Usability in a Formal Development Environment

14. Analysing Security Protocols Using Scenario Based Simulation

15. A Formal Model of IEC 61499-Based Industrial Automation Architecture Supporting Time-Aware Computations

16. Generation of Behavior-Driven Development C++ Tests from Abstract State Machine Scenarios

17. Clarification of Ambiguity for the Simple Authentication and Security Layer

18. Formalizing Monitoring Processes for Large-Scale Distributed Systems Using Abstract State Machines

19. Intercepting Blackhole Attacks in MANETs: An ASM-based Model

20. Specifying with Interface and Trait Abstractions in Abstract State Machines: A Controlled Experiment.

21. Abstract State Machines and System Theoretic Process Analysis for Safety-Critical Systems

22. Modularization of Refinement Steps for Agile Formal Methods

23. A Formal Approach for Failure Detection in Large-Scale Distributed Systems Using Abstract State Machines

24. Towards a Case-Based Reasoning Approach to Dynamic Adaptation for Large-Scale Distributed Systems

26. Towards an ASM Thesis for Reflective Sequential Algorithms

27. A Relational Encoding for a Clash-Free Subset of ASMs

28. A Universal Control Construct for Abstract State Machines

29. Neutralizing Semantic Ambiguities of Function Block Architecture by Modeling with ASM

30. Formal Modelling and Verification of IEC61499 Function Blocks with Abstract State Machines and SMV - Execution Semantics

33. Landing Gear System: An ASM-Based Solution for the ABZ Case Study

34. Distributed Situation Analysis : A Formal Semantic Framework

35. Improving the Understandability of Formal Specifications: An Experience Report

36. Proving properties of the Chord protocol using the ASM formalism.

37. Relativity and Abstract State Machines

39. Dynamic Public Service Mediation

40. AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications

41. Integrating formal methods into medical software development: The ASM approach.

42. Symbolic execution for a clash-free subset of ASMs.

43. An ASM-based characterisation of starvation-free systems.

45. Computational Modeling of Criminal Activity

46. Structure-Behavior Coalescence Abstract State Machine for Metamodel-Based Language in Model-Driven Engineering

47. Specifying with Interface and Trait Abstractions in Abstract State Machines: A Controlled Experiment

48. Using Model Checking to Generate Fault Detecting Tests

49. Abstract Operational Semantics for Use Case Maps

50. Model Checking Object-Z Using ASM

Catalog

Books, media, physical & digital resources