Login / Signup
A Testing-Based Approach to Ensure the Safety of Shared Resource Concurrent Systems.
Lars-Åke Fredlund
Ángel Herranz-Nieva
Julio Mariño
Published in:
SEFM Workshops (2014)
Keyphrases
</>
concurrent systems
temporal logic
distributed systems
process algebra
petri net
model checking
formal specification
transition systems
resource management
resource allocation
web resources
finite state
resource constraints
data model
software testing
formal verification
resource selection
test cases