ProB
From MaRDI portal
Software:19142
No author found.
Related Items (56)
Sound reasoning in \textit{tock}-CSP ⋮ A set solver for finite set relation algebra ⋮ An Event-B based approach for cloud composite services verification ⋮ Verification of \(\mathrm{EB}^3\) specifications using CADP ⋮ Tracking CSP computations ⋮ Integrating formal specifications into applications: the ProB Java API ⋮ Checking the Conformance of a Promela Design to its Formal Specification in Event-B ⋮ Model Checking under Fairness in ProB and Its Application to Fair Exchange Protocols ⋮ Formal verification of cP systems using Coq ⋮ Trust Management ⋮ Foundations for using linear temporal logic in Event-B refinement ⋮ Unnamed Item ⋮ A decision procedure for restricted intensional sets ⋮ Automated reasoning with restricted intensional sets ⋮ Object oriented concepts identification from formal \(B\) specifications ⋮ Consistency-preserving refactoring of refinement structures in Event-B models ⋮ A verification and deployment approach for elastic component-based applications ⋮ Efficient approximate verification of B and Z models via symmetry markers ⋮ Static slicing of explicitly synchronized languages ⋮ Stepwise refinement of heap-manipulating code in Chalice ⋮ Security invariants in discrete transition systems ⋮ Unnamed Item ⋮ CSP theorems for communicating B machines ⋮ Experiments in program verification using Event-B ⋮ Validation of formal models by refinement animation ⋮ On the analysis of compensation correctness ⋮ Unnamed Item ⋮ Generating counterexamples for quantitative safety specifications in probabilistic B ⋮ Model checking RAISE applicative specifications ⋮ Directed Model Checking for B: An Evaluation and New Techniques ⋮ Specification of a Localization Component Driven by a Goal-Based Approach: Some Lessons We Learned ⋮ ZB 2005: Formal Specification and Development in Z and B ⋮ Graph Generation to Statically Represent CSP Processes ⋮ Fast and Accurate Strong Termination Analysis with an Application to Partial Evaluation ⋮ Formal verification of cP systems using PAT3 and ProB ⋮ Linking Event-B and Concurrent Object-Oriented Programs ⋮ Program Development in Computational Logic ⋮ FM 2005: Formal Methods ⋮ Model checking approach to automated planning ⋮ Lifting General Correctness into Partial Correctness is ok ⋮ The MEB and CEB Static Analysis for CSP Specifications ⋮ Optimising the ProB model checker for B using partial order reduction ⋮ Solving quantifier-free first-order constraints over finite sets and binary relations ⋮ Incomplete SMT Techniques for Solving Non-Linear Formulas over the Integers ⋮ Model checking action system refinements ⋮ Incremental System Modelling in Event-B ⋮ A refinement-based development of a distributed signalling system ⋮ Knowledge representation analysis of graph mining ⋮ Ours Is to Reason Why ⋮ Automatic Generation of CSP || B Skeletons from xUML Models ⋮ The techniques of formalization of OS Astra Linux Special Edition access control model using Event-B formal method for verification using Rodin and ProB ⋮ Removing algebraic data types from constrained Horn clauses using difference predicates ⋮ Pardinus: a temporal relational model finder ⋮ Towards leveraging domain knowledge in state-based formal methods ⋮ Proof-based verification approaches for dynamic properties: application to the information system domain ⋮ Spot the difference: a detailed comparison between B and Event-B
This page was built for software: ProB
