For humans, looking at how concrete examples behave is an intuitive way of deriving conclusions. The drawback with this method is that it does not nec...
The paper presents a variant of first order logic for specifying nondeterministic software. Models of the logics are multialgebras, i.e. multi-sorted...
We present parallel algorithms for the PROFIT/COST problem with time complexity O(log n) using O(m + n) processors. The design of these algorithms emp...
The issue of providing a formal justification for the use of fourth normal form (4NF) in relational database design is investigated. The motivation an...
State oriented specifications with invariants occur in almost all formal specification languages. Hence the problem is to prove the consistency of the...
