Login / Signup
Parametrized verification diagrams: temporal verification of symmetric parametrized concurrent systems.
Alejandro Sánchez
César Sánchez
Published in:
Ann. Math. Artif. Intell. (2017)
Keyphrases
</>
concurrent systems
temporal logic
model checking
distributed systems
process algebra
petri net
formal specification
transition systems
spatio temporal
neural network
genetic algorithm
temporal constraints
temporal data
temporal databases
formal verification
linear temporal logic