Channels - Reducing the state explosion problem during model checking :: FRELIP Discovery

Similar Items: Reducing the state explosion problem during model checking

Quick Look
Reducing communication in distributed model checking
Quick Look
A survey of proof systems for CSP
Quick Look
An LTL verification system based on automata theory
Quick Look
A model checker for the LF system
Quick Look
A language to support verification of embedded software
Quick Look
An algebraic framework for reasoning about privacy
Quick Look
A comparison of two different model checking techniques
Quick Look
Concrete and symbolic linearisability checking of non-blocking concurrent data structures
Quick Look
The design of a specification language suitable for the generation of compilers
Quick Look
Early prediction of fabric quality using machine learning to reduce rework in manufacturing processes
Quick Look
LF : a language for reliable embedded systems
Quick Look
Implementing a smalltalk to Java translator
Quick Look
Global mathematical analysis of a patchy epidemic model
Quick Look
Modeling the dependency structure between quality characteristics in multi-stage manufacturing processes with copula functions
Quick Look
List coloring based algorithm for the Futoshiki puzzle
Quick Look
Witte’s conditions for uniqueness of solutions to a class of Fractal-Fractional ordinary differential equations
Quick Look
Influence of rotation on peristaltic flow for pseudoplastic fluid: a wavy channel
Quick Look
A comparative view to H_infinity-norm of transfer functions of linear DAEs
Quick Look
Fuzzy-PID and interpolation: a novel synergetic approach to process control
Quick Look
An Inverse recursive algorithm to retrieve the shape of the inaccessible dielectric objects
Quick Look
A local differential quadrature method for the generalized nonlinear Schrödinger (GNLS) equation
Quick Look
Hybrid finite element and moment method modelling of microstrip patches
Quick Look
The language approach to the development of reliable concurrent programs
Quick Look
A kernel to support computer-aided verification of embedded software

Author: De Villiers, P. J. A.

Author: Barnard, Dieter Cornelius

Quick Look
Reducing the state explosion problem during model checking