Abbrevation
ICFEM
City
Manchester
Country
UK
Deadline Paper
Start Date
End Date
Abstract
ICFEM aims to bring together researchers and practitioners from industry, academia, and government to advance the state of the art in formal engineering methods and to encourage wider uptake of formal methods in industry. <b>Keywords:</b> – system specification: languages, notations, semantics, architectures, components, tools – system development: processes, methodologies, refinement, CASE tools – system testing: theory, techniques, test generation, test coverage, tools – system verification: theory, techniques, theorem proving, model checking, tools