Open AccessEuropean formal verification tools for model correctness
Author(s) -
J. Mermet,
Adam Morawiec
Publication year - 1997
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - Uncategorized
Resource type - Conference proceedings
Subject(s) - correctness , computer science , intelligent verification , formal verification , verification , functional verification , high level verification , runtime verification , formal equivalence checking , abstraction , formal methods , software verification , software engineering , scheme (mathematics) , electronic system level design and verification , programming language , software , software development , software construction , mathematical analysis , philosophy , mathematics , epistemology