Porting the Software Product Line Refinement Theory to the Coq Proof Assistant

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	SBMF (23. : 2020 : Online) Formal methods: foundations and applications
1. Verfasser:	Alves, Thayonara (VerfasserIn)
Weitere Verfasser:	Teixeira, Leopoldo (VerfasserIn), Alves, Vander (VerfasserIn), Castro, Thiago (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2020
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Titel	Jahr	Verfasser
Formal Verification of Neural Networks?	2020	Leucker, Martin
Navigating the Universe of Z3 Theory Solvers	2020	Bjorner, Nikolaj
Revisiting Refactoring Mechanics from Tool Developers’ Perspective	2020	Oliveira, Jonhnanthan
Porting the Software Product Line Refinement Theory to the Coq Proof Assistant	2020	Alves, Thayonara
Optimization of Timed Scenarios	2020	Saeedloei, Neda
Separation Logic-Based Verification Atop a Binary-Compatible Filesystem Model	2020	Mehta, Mihir Parang
Merging Cloned Alloy Models with Colorful Refactorings	2020	Liu, Chong
Safe Evolution of Product Lines Using Configuration Knowledge Laws	2020	Teixeira, Leopoldo
Statistical Model Checking in Drug Repurposing for Alzheimer's Disease	2020	Fernandes, Herbert Rausch
Modeling Big Data Processing Programs	2020	Neto, Joao Batista de Souza
Calculational Proofs in Relational Graphical Linear Algebra	2020	Paixao, Joao
Safety Assurance of a High Voltage Controller for an Industrial Robotic System	2020	Murray, Yvonne
Reversal Fuzzy Switch Graphs	2020	Campos, Suene