The following pages link to Formal Aspects of Computing (Q164203):
Displaying 50 items.
- A unified integration and component testing approach from deterministic stream X-machine specifications (Q282085) (← links)
- Synthesizing structural and behavioral control for reconfigurations in component-based systems (Q282089) (← links)
- Analysing sanity of requirements for avionics systems (Q282095) (← links)
- Generation of complete test suites from Mealy input/output transition systems (Q282098) (← links)
- Contract-based verification of MATLAB-style matrix programs (Q282101) (← links)
- Deciding probabilistic automata weak bisimulation: theory and practice (Q282105) (← links)
- Verification of \(\mathrm{EB}^3\) specifications using CADP (Q282110) (← links)
- Event-based run-time adaptation in communication-centric systems (Q315279) (← links)
- ASM-based formal design of an adaptivity component for a cloud system (Q315283) (← links)
- On the expressive power of behavioral profiles (Q315288) (← links)
- Model checking Petri nets with names using data-centric dynamic systems (Q315291) (← links)
- Dynamic role authorization in multiparty conversations (Q315294) (← links)
- Self-adaptation and secure information flow in multiparty communications (Q315296) (← links)
- Reversible client/server interactions (Q315298) (← links)
- Modelling timed reactive systems from natural-language requirements (Q315301) (← links)
- Formal modelling and verification of GALS systems using GRL and CADP (Q315303) (← links)
- Formalising concurrent UML state machines using coloured Petri nets (Q315307) (← links)
- On the diversity of asynchronous communication (Q315311) (← links)
- On the formal analysis of Gaussian optical systems in HOL (Q315313) (← links)
- Foundations for using linear temporal logic in Event-B refinement (Q333316) (← links)
- Rigorous development of component-based systems using component metadata and patterns (Q333322) (← links)
- Formalisation of the computation of the echelon form of a matrix in Isabelle/HOL (Q333325) (← links)
- Model checking learning agent systems using Promela with embedded C code and abstraction (Q333329) (← links)
- Generalised rely-guarantee concurrency: an algebraic foundation (Q333330) (← links)
- Verification of distributed systems with local-global predicates (Q432134) (← links)
- A model checking-based approach for security policy verification of mobile systems (Q432137) (← links)
- A tableau-based decision procedure for CTL\(^*\) (Q432138) (← links)
- Compositional refinement in agent-based security protocols (Q432140) (← links)
- Symbolic predictive analysis for concurrent programs (Q432146) (← links)
- Invariant diagrams with data refinement (Q432148) (← 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)
- Formalizing a hierarchical file system (Q432156) (← links)
- Emergence and refinement (Q432157) (← links)
- Reasoning about orchestrations of web services using partial correctness (Q469344) (← links)
- Simple linear string constraints (Q469349) (← links)
- Explanation of two non-blocking shared-variable communication algorithms (Q469352) (← links)
- Deriving dense linear algebra libraries (Q469358) (← links)
- Starvation-free mutual exclusion with semaphores (Q469360) (← links)
- Automatic verification of reduction techniques in higher order logic (Q469363) (← links)
- Applications of real number theorem proving in PVS (Q469367) (← links)
- A Hoare logic for linear systems (Q469998) (← links)
- Model checking RAISE applicative specifications (Q470000) (← links)
- Proving termination of nonlinear command sequences (Q470005) (← links)
- A dynamic logic for deductive verification of multi-threaded programs (Q470007) (← links)
- An inductive approach to strand spaces (Q470008) (← links)
- HYPE: hybrid modelling by composition of flows (Q470011) (← links)
- Threaded behavior protocols (Q470016) (← links)
- The mechanical generation of fault trees for reactive systems via retrenchment. I. Combinational circuits (Q470019) (← links)
