FWFM 2014 PAPERS: KEYWORD INDEX

Papers Papers with Abstracts Author Index Keyword Index

Shortcuts: A C D E F G I M O P R S T

A
Applications of logic to combinatorics	Explaining the decompositionality of MSO using applications to combinatorics (PDF, talk)
axiomatic semantics	Using Esoteric Language for Teaching Formal Semantics (PDF, talk)
C
concurrency and synchronization	An Example Demonstrating the Requirement of Fully Formal Verification Method (PDF, talk)
Courcelle's theorem	Explaining the decompositionality of MSO using applications to combinatorics (PDF, talk)
crowd sourcing	Chekofv: Crowd-sourced Formal Verification (PDF, talk)
D
denotational semantics	Using Esoteric Language for Teaching Formal Semantics (PDF, talk)
domain specific modeling	Introducing Formal Verification with Lego (PDF, talk)
E
education	Introducing Formal Verification with Lego (PDF, talk)
esoteric language	Using Esoteric Language for Teaching Formal Semantics (PDF, talk)
F
formal methods	Towards the Application of Formal Methods in Process Engineering (PDF, talk) Introducing Formal Verification with Lego (PDF, talk) An Example Demonstrating the Requirement of Fully Formal Verification Method (PDF, talk)
Formal Semantics	Using Esoteric Language for Teaching Formal Semantics (PDF, talk)
fun	Introducing Formal Verification with Lego (PDF, talk)
G
gamification	Chekofv: Crowd-sourced Formal Verification (PDF, talk)
I
invariant computation	Chekofv: Crowd-sourced Formal Verification (PDF, talk)
M
make-easy" teaching approach	Using Esoteric Language for Teaching Formal Semantics (PDF, talk)
model checking	An Example Demonstrating the Requirement of Fully Formal Verification Method (PDF, talk)
O
operational semantics	Using Esoteric Language for Teaching Formal Semantics (PDF, talk)
P
predicate discovery	Chekofv: Crowd-sourced Formal Verification (PDF, talk)
Process Engineering	Towards the Application of Formal Methods in Process Engineering (PDF, talk)
proof checker	An Example Demonstrating the Requirement of Fully Formal Verification Method (PDF, talk)
R
Recurrence relation	Explaining the decompositionality of MSO using applications to combinatorics (PDF, talk)
S
Signal-Flow-Graphs	Towards the Application of Formal Methods in Process Engineering (PDF, talk)
T
theorem proving	Towards the Application of Formal Methods in Process Engineering (PDF, talk)