Specification of State and Time Constraints for Runtime Verification of Functions.

Joshua Heneage Dawes Giles Reger

Published in: CoRR (2018)

Keyphrases

formal verification
dynamic constraints
transition systems
state space
model checking
global constraints
machine learning
genetic algorithm
linear programming
basis functions
constraint satisfaction
formal methods
constraint language
concurrent systems