Rodin

swMATH7083MaRDI QIDQ19141FDOQ19141

Author name not available (Why is that?)

Official website: http://www.event-b.org/install.html

Cited In (only showing first 100 items - show all)

• Knowledge representation analysis of graph mining
• An Event-B based approach for cloud composite services verification
• Presentation and manipulation of Mizar properties in an Isabelle object logic
• Verification by construction of distributed algorithms
• Sound verification procedures for temporal properties of infinite-state systems
• Refinement of structured interactive systems
• Practical theory extension in Event-B
• Event-B refinement for continuous behaviours approximation
• The refinement calculus of reactive systems
• A behavioural theory of recursive algorithms
• rCOS: defining meanings of component-based software architectures
• BMotionWeb
• JeB
• VisB
• WebASM
• Towards leveraging domain knowledge in state-based formal methods
• Flashix: modular verification of a concurrent and crash-safe flash file system
• Spot the difference: a detailed comparison between B and Event-B
• Specification and verification of concurrent programs through refinements
• A verification and deployment approach for elastic component-based applications
• Monitorability for the Hennessy-Milner logic with recursion
• Modelling the embedded control system using iUML-B pattern state machine
• A new roadmap for linking theories of programming
• Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B
• TraitRecordJ
• Putting logic-based distributed systems on stable grounds
• Theorem proving graph grammars with attributes and negative application conditions
• Modelling resilient collaborative multi-agent systems
• Formal verification of cP systems using Coq
• Combining refinement and signal-temporal logic for biological systems
• Alcove
• Rule-based transformation of graph rewriting rules: towards higher-order graph grammars
• Integrating formal specifications into applications: the ProB Java API
• Event algebra for transition systems composition application to timed automata
• Security invariants in discrete transition systems
• Pliant modalities in hybrid Event-B
• Traits: correctness-by-construction for free
• Stepwise refinement of heap-manipulating code in Chalice
• Abstractions of non-interference security: probabilistic versus possibilistic
• Developing topology discovery in Event-B
• Proving Quicksort Correct in Event-B
• A refinement-based development of a distributed signalling system
• Hybrid dynamic logic institutions for event/data-based systems
• A formal framework for Hybrid Event B
• Simulation relations for fault-tolerance
• BTestBox
• EventB2Java
• On labeled birooted tree languages: algebras, automata and logic
• Semantics of Mizar as an Isabelle object logic
• Integration of SMT-solvers in B and Event-B development environments
• Set-theoretic models of computations
• Consistency-preserving refactoring of refinement structures in Event-B models
• Refinement of Timing Constraints for Concurrent Tasks with Scheduling
• Relating trace refinement and linearizability
• BGSL
• RUN-ONCO
• TraitCbC
• Relational differential dynamic logic
• Checking the Conformance of a Promela Design to its Formal Specification in Event-B
• Title not available (Why is that?)
• The techniques of formalization of OS Astra Linux Special Edition access control model using Event-B formal method for verification using Rodin and ProB
• Systematic Refinement of Abstract State Machines with Higher-Order Logic
• Behavioural models for FMI co-simulations
• Linking event-B and concurrent object-oriented programs
• Specification of a localization component driven by a goal-based approach: some lessons we learned
• Title not available (Why is that?)
• Verifiable Code Generation from Scheduled Event-B Models
• The subject-oriented approach to software design and the abstract state machines method
• Building Specifications in the Event-B Institution
• Title not available (Why is that?)
• Developing Topology Discovery in Event-B
• A formal verification technique for behavioural model-to-model transformations
• On the purpose of Event-B proof obligations
• Retrenchment for Event-B: UseCase-wise development and Rodin integration
• Changing system interfaces consistently: a new refinement strategy for CSP\(\|\)B
• Verification of \(\mathrm{EB}^3\) specifications using CADP
• FeatherTrait
• Elucidating concurrent algorithms via layers of abstraction and reification
• Experiments in program verification using Event-B
• A concurrent constraint programming interpretation of access permissions
• Provably correct derivation of algorithms using FermaT
• Optimising the ProB model checker for B using partial order reduction
• Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application
• Derivation of concurrent programs by stepwise scheduling of Event-B models
• Kaisa Sere: in memoriam
• Domain science and engineering from computer science to the sciences of informatics. II: Science
• Modeling in Event B. System and software engineering.
• CLPS-B
• TopSpin
• GeneSyst
• mCRL2
• rCOS
• ArcAngel
• ConGolog
• CoreASM
• HOL/SPIN
• RAISE
• REMM
• FALKO
• CZT

This page was built for software: Rodin