Formal Methods: Foundations and Applications, 1st ed. 2017 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings Programming and Software Engineering Series
Coordonnateurs : Cavalheiro Simone, Fiadeiro José
Date de parution : 11-2017
Ouvrage de 305 p.
15.5x23.5 cm
Thèmes de Formal Methods: Foundations and Applications :
Mots-clés :
code generation; denotational semantics; distributed systems; formal methods; global optimization; integrated development environment; logic; model analysis; model checking; model extraction; real-time systems; refinement; runtime verification; service oriented computing; software verification; theorem proving; semantics; software engineering; formal logic; programming languages