SCSS 2017. The 8th International Symposium on Symbolic Computation in Software Science 2017

12 articles132 pagesPublished: March 26, 2017


Pages 1-15
Pages 16-28
Pages 29-41
Pages 42-48
Pages 49-62
Pages 63-67
Pages 68-76
Pages 77-82
Pages 83-95
Pages 96-106
Pages 107-119
Pages 120-132


access control2, Access Control Policy, approximation, Asynchronous testing, completeness, component-based software engineering, computational origami, Controlled rewrite system, correct-by-construction, distributed algorithm, dynamic logic, enumeration problem, Euclidean geometry, Event-B, expression problem, FDD, Feature-Oriented Programming, Firewall, formal analysis, Formal Verification and Validation, Fuzzy Extractor, geometric modeling, Higher dimensional geometry, Hoare logic, Information Systems Security, Local computations, mathematical origami, Misconfiguration, Mobile Social Networks, multi-threading, parallel model checking, predicate logic, Prefix-constrained rewrite system, Privacy, program verification, proximity, Risk, risk assessment2, risk management, runtime verification, social profile, soundness, space complexity, Stream Monitoring, symbolic reachability, Synchronous testing, term rewriting, termination, test generation