search result

Cover von ByteSpector

ByteSpector

A Verifying Disassembler for EVM Bytecode
Year: 2025
Media group: OASICS
Cover von Deductive Verification of Smart Contracts (Invited Talk)

Deductive Verification of Smart Contracts (Invited Talk)

Year: 2024
Media group: OASICS
Cover von Formal modeling and analysis of timed systems
6th international conference, Saint Malo, France, September 15 - 17, 2008, proceedings
Search for this author
Year: 2008
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 5215
Media group: MONOGRAPHIE
Cover von Summary-Based Inter-Procedural Analysis via Modular Trace Refinement

Summary-Based Inter-Procedural Analysis via Modular Trace Refinement

Year: 2014
Media group: LIPIcs
Cover von Automated Technology for Verification and Analysis
12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings
Search for this author
Year: 2014
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 8837
Media group: MONOGRAPHIE
Cover von What is a Timing Anomaly?

What is a Timing Anomaly?

Year: 2012
Media group: ARTICLE
Cover von Modeling and verification of parallel processes
4th summer school, Nantes, France, June 19 - 23, 2000, revised tutorial letters
Search for this author
Year: 2001
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 2067
Media group: MONOGRAPHIE
OPEN V 11.1.0.0