STTT
8 years 6 months ago
2016
Abstract Exploration of design alternatives and estimation of their key performance metrics such as latency and energy consumption is essential for making the proper design decisio...
STTT
8 years 6 months ago
2016
This paper considers a generic approach to runtime verification of temporal properties over firstorder theories. This allows especially for the verification of multi-threaded, o...
STTT
8 years 6 months ago
2016
Abstract. This paper is a tutorial on how to model hybrid systems as hybrid programs in differential dynamic logic and how to prove complex properties about these complex hybrid s...
STTT
8 years 6 months ago
2016
Abstract. Due to the increasing complexity of software systems, there is a growing need for automated and scalable software synthesis and analysis. In the last decade, active resea...
|