Oracles for Checking Temporal Properties of Concurrent Systems.

Laura K. Dillon Qing Yu

Published in: SIGSOFT FSE (1994)

Keyphrases

concurrent systems
temporal properties
model checking
temporal logic
process algebra
formal specification
transition systems
distributed systems
formal methods
modal logic
neural network
test cases
possibility theory
petri net
programming language
relational databases
machine learning