Skip to content
Home
Search
Guides
Journals
Learning
Our Team
Get the App
🌐
EN
ES
FR
PT
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Search for more channels:
Author: Geldenhuys, Jaco
Channel Options
Show items as search results
Explore related channels
Quick Look
Distributed binary decision diagrams
Load more items
Similar Items: Distributed binary decision diagrams
Channel Options
View Record
Explore related channels
Quick Look
Reducing communication in distributed model checking
Quick Look
A kernel to support computer-aided verification of embedded software
Quick Look
A model checker for the LF system
Quick Look
A survey of proof systems for CSP
Quick Look
Investigating the non-termination of affine loops
Quick Look
An LTL verification system based on automata theory
Quick Look
Automated program generation : bridging the gap between model and implementation
Quick Look
Concrete and symbolic linearisability checking of non-blocking concurrent data structures
Quick Look
Criteria for the evaluation of private cloud computing
Quick Look
A program slicer for LF
Quick Look
Extended probabilistic symbolic execution
Quick Look
The analytic modelling of DASD subsystems
Quick Look
A language to support verification of embedded software
Quick Look
Reducing the state explosion problem during model checking
Quick Look
Parallel likelihood calculations for phylogenetic trees
Quick Look
An algebraic framework for reasoning about privacy
Quick Look
Combined routing and loading methods for distribution planning
Quick Look
A comparison of two different model checking techniques
Quick Look
Providing mechanical support for program development in a weakest precondition calculus
Quick Look
FATKID : a Finite Automaton Toolkit
Quick Look
Relations and programs
Quick Look
Kernel support for embedded reactive systems
Quick Look
The number of different types of dominating sets in binary trees
Quick Look
A comparative study of distributed database recovery techniques
Load more items
View Record
Prev
Explore related channels
Next
