Login / Signup
ACTLS properties and Bounded Model Checking.
Bozena Wozna
Published in:
Fundam. Informaticae (2004)
Keyphrases
</>
bounded model checking
model checking
desirable properties
structural properties
database
formal verification
linear temporal logic
social networks
information systems
multi agent systems
general purpose
rough sets
temporal logic