ABSTRACT
No abstract available.
Index Terms
- Integrity checking for multiple updates
Recommendations
An integrity constraint checking method for temporal deductive databases
TIME '96: Proceedings of the 3rd Workshop on Temporal Representation and Reasoning (TIME'96)The authors propose a method for integrity checking in the context of temporal deductive databases. A temporal deductive database is a deductive database that supports some aspect of time, in our case valid time, in which valid time is the time when the ...
Bounded model checking of high-integrity software
HILT '13: Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technologyModel checking [5] is an automated algorithmic technique for exhaustive verification of systems, described as finite state machines, against temporal logic [9] specifications. It has been used successfully to verify hardware at an industrial scale [6]. ...
Comments