Formal Methods: for All or for Chosen? Victor Kuliamin 1 Vitaliy Omelchenko 1 Olga Petrenko 2 1...
-
Upload
collin-long -
Category
Documents
-
view
212 -
download
0
description
Usual FM Courses Propositional Calculus, Predicate Calculus, Set theory, λ-Calculus, Higher-order Calculi, Universal Algebra Type theories, Process algebras, Temporal logics Z, B, VDM, RSL, ASM