The following pages link to The B-Book (Q4208552):
Displaying 50 items.
- Verification of \(\mathrm{EB}^3\) specifications using CADP (Q282110) (← links)
- Concurrent abstract state machines (Q303691) (← links)
- ASM-based formal design of an adaptivity component for a cloud system (Q315283) (← links)
- Modelling timed reactive systems from natural-language requirements (Q315301) (← links)
- Unifying sets and programs via dependent types (Q408534) (← links)
- A functional framework for agent-based models of exchange (Q426933) (← links)
- Verification of distributed systems with local-global predicates (Q432134) (← links)
- Mechanised support for sound refinement tactics (Q432151) (← links)
- Compositional noninterference from first principles (Q432152) (← links)
- Experiments in program verification using Event-B (Q432154) (← links)
- Connectors as designs: modeling, refinement and test case generation (Q433336) (← links)
- Using formal methods with SysML in aerospace design and engineering (Q434438) (← links)
- Combining decision procedures by (model-)equality propagation (Q436376) (← links)
- JCML: A specification language for the runtime verification of Java card programs (Q436381) (← links)
- Model checking RAISE applicative specifications (Q470000) (← links)
- A compositional automata-based semantics and preserving transformation rules for testing property patterns (Q493531) (← links)
- Manifest domains: analysis and description (Q520235) (← links)
- Translating controlled graph grammars to ordinary graph grammars (Q529641) (← links)
- Z2SAL: a translation-based model checker for Z (Q539218) (← links)
- Generating tests from B specifications and dynamic selection criteria (Q539227) (← links)
- On the purpose of Event-B proof obligations (Q539230) (← links)
- Retrenchment for Event-B: UseCase-wise development and Rodin integration (Q539231) (← links)
- Elucidating concurrent algorithms via layers of abstraction and reification (Q539423) (← links)
- Changing system interfaces consistently: a new refinement strategy for CSP\(\|\)B (Q549684) (← links)
- ASM refinement and generalizations of forward simulation in data refinement: a comparison (Q555790) (← links)
- A decision procedure for a sublanguage of set theory involving monotone, additive, and multiplicative functions. I: The two-level case (Q556680) (← links)
- Generating counterexamples for quantitative safety specifications in probabilistic B (Q652160) (← links)
- Automating Event-B invariant proofs by rippling and proof patching (Q667526) (← links)
- Composing model programs for analysis (Q710670) (← links)
- Encapsulating deontic and branching time specifications (Q714879) (← links)
- Optimising the ProB model checker for B using partial order reduction (Q736463) (← links)
- Test-data generation for control coverage by proof (Q736805) (← links)
- On integrating confidentiality and functionality in a formal method (Q736833) (← links)
- Refinement patterns for ASTDs (Q736838) (← links)
- Kaisa Sere: in memoriam (Q736909) (← links)
- The behavioural semantics of Event-B refinement (Q736910) (← links)
- Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application (Q736916) (← links)
- Specification and refinement of mobile systems in MTLA and mobile UML (Q820132) (← links)
- Components as coalgebras: the refinement dimension (Q820141) (← links)
- An Event-B based approach for cloud composite services verification (Q826351) (← links)
- Invariant-driven specifications in Maude (Q838161) (← links)
- Tank monitoring: A pAMN case study (Q851131) (← links)
- Transposing partial components--an exercise on coalgebraic refinement (Q854163) (← links)
- Formal and incremental construction of distributed algorithms: on the distributed reference counting algorithm (Q860848) (← links)
- Verifying a signature architecture: a comparative case study (Q877156) (← links)
- Splitting atoms safely (Q879357) (← links)
- Balancing expressiveness in formal approaches to concurrency (Q890478) (← links)
- Integrating stochastic reasoning into Event-B development (Q903513) (← links)
- Relational semigroupoids: abstract relation-algebraic interfaces for finite relations between infinite types (Q929967) (← links)
- The seven virtues of simple type theory (Q946569) (← links)
