Login / Signup
Under-approximation of the Greatest Fixpoint in Real-Time System Verification
Farn Wang
Published in:
CoRR (2005)
Keyphrases
</>
fixpoint
real time
logic programs
deductive databases
update rule
finite state machines
recursive queries
fixpoint semantics
horn clauses
stable models
model checking
sql queries
semantics of logic programs
datalog programs
data management
machine learning
databases