Automatic Verification of Combined Specifications: An Overview

13 years 4 months ago

Download www.cs.uni-paderborn.de

This paper gives an overview of results of the project "Beyond Timed Automata" carried out in the Collaborative Research Center AVACS (Automatic Verification and Analysis of Complex Systems) of the Universities of Oldenburg, Freiburg, and Saarbr

Ernst-Rüdiger Olderog

Real-time Traffic

Automatic Verification | Collaborative Research Center | ENTCS 2008 | European Train Control System |

claim paper

» An Overview of RoZ A Tool for Integrating UML and Z Specifications

» Functional Verification Methodology of Chameleon Processor

» From Safety Verification to Safety Testing

» Automatic generation of simulation models for semiconductor manufacturing

» Generating Properties for Runtime Monitoring from Software Specification Patterns

» On equivalence checking and logic synthesis of circuits with a common specification

» Efficient BMC for MultiClock Systems with Clocked Specifications

» Formal Verification of a C Compiler FrontEnd

Post Info
More Details (n/a)

Added	10 Dec 2010
Updated	10 Dec 2010
Type	Journal
Year	2008
Where	ENTCS
Authors	Ernst-Rüdiger Olderog

Comments (0)

Sciweavers

Automatic Verification of Combined Specifications: An Overview

Automatic Verification | Collaborative Research Center | ENTCS 2008 | European Train Control System |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers