C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Reachability Analysis of Multithreaded Programs Using Communicating Rewriting Systems.
Brahim Nasraoui
Riadh Robbana
Published in:
COMPSAC Workshops (2016)
Keyphrases
</>
reachability analysis
rewriting systems
markov decision processes
model checking
rewriting rules
timed automata
incremental algorithms
state space
linear programming
database
databases