Rodin
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Developing topology discovery in Event-B
- CLPS-B
- BTestBox
- EventB2Java
- TopSpin
- GeneSyst
- mCRL2
- rCOS
- ConGolog
- ArcAngel
- CoreASM
- HOL/SPIN
- RAISE
- REMM
- Modelling the embedded control system using iUML-B pattern state machine
- Event algebra for transition systems composition application to timed automata
- Relating trace refinement and linearizability
- A verification and deployment approach for elastic component-based applications
- Simulation relations for fault-tolerance
- FALKO
- CZT
- MATISSE
- ArcAngelC
- ClawZ
- Fiacre
- ProB
- B4Free
- Atelier B
- Z2sal
- Agapia
- Stepwise refinement of heap-manipulating code in Chalice
- External and internal choice with event groups in Event-B
- Security invariants in discrete transition systems
- Integration of SMT-solvers in B and Event-B development environments
- Spin-to-Grape
- SymmSpin
- PROMELA
- csp2B
- Abstractions of non-interference security: probabilistic versus possibilistic
- Modelling resilient collaborative multi-agent systems
- A refinement-based development of a distributed signalling system
- Hybrid dynamic logic institutions for event/data-based systems
- Towards leveraging domain knowledge in state-based formal methods
- Moded and continuous abstract state machines
- Spot the difference: a detailed comparison between B and Event-B
- Flashix: modular verification of a concurrent and crash-safe flash file system
- Lem
- Event-B refinement for continuous behaviours approximation
- Integrating formal specifications into applications: the ProB Java API
- Formal verification of cP systems using Coq
- Traits: correctness-by-construction for free
- Z/EVES
- Z
- tptp2X
- Verification by construction of distributed algorithms
- Knowledge representation analysis of graph mining
- Semantics of Mizar as an Isabelle object logic
- FDR2
- On labeled birooted tree languages: algebras, automata and logic
- Specification and verification of concurrent programs through refinements
- Proof-based verification approaches for dynamic properties: application to the information system domain
- Rule-based transformation of graph rewriting rules: towards higher-order graph grammars
- Theorem proving graph grammars with attributes and negative application conditions
- Presentation and manipulation of Mizar properties in an Isabelle object logic
- Combining refinement and signal-temporal logic for biological systems
- Monitorability for the Hennessy-Milner logic with recursion
- Consistency-preserving refactoring of refinement structures in Event-B models
- Metasonic
- FDR3
- Domain science and engineering from computer science to the sciences of informatics. I: Engineering
- A formal framework for Hybrid Event B
- UNITY
- RGITL
- The refinement calculus of reactive systems
- Verification of \(\mathrm{EB}^3\) specifications using CADP
- EventB2Dafny
- FermaT
- Set-theoretic models of computations
- Pliant modalities in hybrid Event-B
- Practical theory extension in Event-B
- Refinement of structured interactive systems
- rCOS: defining meanings of component-based software architectures
- A new roadmap for linking theories of programming
- Proving Quicksort Correct in Event-B
- Specification of a localization component driven by a goal-based approach: some lessons we learned
- Jaza
- kPWorkbench
- Behavioural models for FMI co-simulations
- SL2SX
- The subject-oriented approach to software design and the abstract state machines method
- Foundations for using linear temporal logic in Event-B refinement
- ZRC
- Circus
- Checking the Conformance of a Promela Design to its Formal Specification in Event-B
- mural
- GHC
- Modeling in Event B. System and software engineering.
- REFINER
- Developing Topology Discovery in Event-B
- Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B
This page was built for software: Rodin
