search result

Cover von Programming Language Abstractions for Modularly Verified Distributed Systems

Programming Language Abstractions for Modularly Verified Distributed Systems

Year: 2017
Media group: LIPIcs
Cover von Programming Language Tools and Techniques for 3D Printing

Programming Language Tools and Techniques for 3D Printing

Year: 2017
Media group: LIPIcs
Cover von QED at Large
A Survey of Engineering of Formally Verified Software
Search for this author
Year: 2019
Publisher: Boston, Now Publishers
Series: Foundations and Trends in Programming Languages; 5. 2019, 2/3
Media group: MONOGRAPHIE
Cover von Icing
Supporting Fast-Math Style Optimizations in a Verified Compiler : article in LNCS 11561
Search for this author
Year: 2019
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 11561 article
Media group: ARTICLE
Cover von QED at Large; 2/2
A Survey of Engineering of Formally Verified Software
Search for this author
Year: 2019
Publisher: Boston, Now Publishers
Count: 2/2
Media group: SPECIAL ISSUE
Cover von Combining Tools for Optimization and Analysis of Floating-Point Computations
article in International Symposium on Formal Methods : FM 2018 : LNCS 10951
Search for this author
Year: 2018
Publisher: Berlin, Springer
Media group: ARTICLE
Cover von Toward a Dependability Case Language and Workflow for a Radiation Therapy System

Toward a Dependability Case Language and Workflow for a Radiation Therapy System

Author: Ernst, Michael D.; Grossman, Dan; Jacky, Jonathan
Year: 2015
Media group: LIPIcs
Cover von Verified Compilation and Optimization of Floating-Point Programs in CakeML

Verified Compilation and Optimization of Floating-Point Programs in CakeML

Author: Kumar, Ramana; Tan, Yong Kiam; Fox, Anthony
Year: 2022
Media group: LIPIcs
OPEN V 11.1.0.0