Software engineering and formal methods: SEFM 2019 special section.

Peter Csaba Ölveczky Gwen Salaün

Published in: Softw. Syst. Model. (2021)

Keyphrases

formal methods
special section
software engineering
formal analysis
special issue
model checking
artificial intelligence

provably correct
knowledge based systems
model checker
programming language
formal specification
award winning
reactive systems

software systems
safety critical
temporal properties
reverse engineering
software development
object oriented

process algebra
software engineers
development process
temporal logic
high level
information systems