Login / Signup
Present and Absent Sets: Abstraction for Testing of Reactive Systems with Databases.
Petur Olsen
Kim G. Larsen
Arne Skou
Published in:
Electron. Notes Theor. Comput. Sci. (2010)
Keyphrases
</>
reactive systems
databases
database
model checking
temporal logic
database systems
relational databases
knowledge discovery
information flow
petri net
information systems
high level
data management
data warehouse
open source
test cases
real time systems