FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

This page contains an index consisting of author-provided keywords.

A
Abstract State Machines	AsmetaF: a flattener for the ASMETA framework
alloy	Improving the Visualization of Alloy Instances
ASMETA	AsmetaF: a flattener for the ASMETA framework
automated theorem proving	Lightweight Interactive Proving inside an Automatic Program Verifier
C
code generation	A Notebook Format for the Holistic Design of Embedded Systems
D
Deductive verification	Lightweight Interactive Proving inside an Automatic Program Verifier Experience Report on Formally Verifying Parts of OpenJDK's API with KeY
Design by contract	Experience Report on Formally Verifying Parts of OpenJDK's API with KeY
domain-specific formal languages	Isabelle/jEdit as IDE for domain-specific formal languages and informal text documents
F
flattener	AsmetaF: a flattener for the ASMETA framework
Formal Methods	Integrating user design and formal models within PVSio-Web Improving the Visualization of Alloy Instances Experience Report on Formally Verifying Parts of OpenJDK's API with KeY The CLEAR Way To Transparent Formal Methods
H
HCI	Improving the Visualization of Alloy Instances
Hierarchical state machines	A Notebook Format for the Holistic Design of Embedded Systems
I
Integrated Development Environment	User Support for the Combinator Logic Synthesizer Framework
Interactive system	Integrating user design and formal models within PVSio-Web
interactive theorem proving	Lightweight Interactive Proving inside an Automatic Program Verifier
Interface design	Integrating user design and formal models within PVSio-Web
Intermediate Language for Verification	Lightweight Interactive Proving inside an Automatic Program Verifier
Invariants	A Notebook Format for the Holistic Design of Embedded Systems
Isabelle/jEdit	Isabelle/jEdit as IDE for domain-specific formal languages and informal text documents
J
Jupyter	A Notebook Format for the Holistic Design of Embedded Systems
K
KeY	Experience Report on Formally Verifying Parts of OpenJDK's API with KeY
L
Literate programming	A Notebook Format for the Holistic Design of Embedded Systems
N
Notebooks	A Notebook Format for the Holistic Design of Embedded Systems
O
OpenJDK	Experience Report on Formally Verifying Parts of OpenJDK's API with KeY
P
Probabilistic model checking	A Notebook Format for the Holistic Design of Embedded Systems
R
refactoring	AsmetaF: a flattener for the ASMETA framework
requirements analysis	The CLEAR Way To Transparent Formal Methods
requirements based testing	The CLEAR Way To Transparent Formal Methods
S
SPARK2014 and Critical Ada Software	Lightweight Interactive Proving inside an Automatic Program Verifier
T
text documents	Isabelle/jEdit as IDE for domain-specific formal languages and informal text documents
theorem proving	Experience Report on Formally Verifying Parts of OpenJDK's API with KeY
type inhabitation	User Support for the Combinator Logic Synthesizer Framework
Type-based Development	User Support for the Combinator Logic Synthesizer Framework
U
universal IDE	Isabelle/jEdit as IDE for domain-specific formal languages and informal text documents
Usability	User Support for the Combinator Logic Synthesizer Framework
W
WCET analysis	A Notebook Format for the Holistic Design of Embedded Systems

Disclaimer | Powered by EasyChair Smart Program