FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

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

Disclaimer | Powered by EasyChair Smart Program