Converting Ptolemy II Models to SpaceEx for Applied Verification

No abstract is available for this paper.

• Publication year

  2014

• Venue

  International Conference on Algorithms and Architectures for Parallel Processing

• Publication date

  2014-08-24

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1007/978-3-319-11197-1_52
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• SpaceEx: Scalable Verification of Hybrid Systems

  2011cited by this paper
• Formal verification of hybrid systems

  2011cited by this paper
• Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude

  2009cited by this paper
• Applied Verification: The Ptolemy Approach

  2008cited by this paper
• Heterogeneous Concurrent Modeling and Design in Java (Volume 3: Ptolemy II Domains)

  2008influential reference
• Heterogeneous Concurrent Modeling and Design in Java (Volume 2: Ptolemy II Software Architecture)

  2008cited by this paper
• Integration of Model-Checking Tools: from Discrete to Hybrid Models

  2007cited by this paper
• PHAVer: algorithmic verification of hybrid systems past HyTech

  2005cited by this paper
• Ptolemy II, Heterogeneous Concurrent Modeling and Design in JAVA

  2001cited by this paper
• Efficient Data Structure for Fully Symbolic Verification of Real-Time Software Systems

  2000cited by this paper
• Uppaal in a nutshell

  1997cited by this paper
• HYTECH: the next generation

  1995cited by this paper
• The Algorithmic Analysis of Hybrid Systems

  1995cited by this paper

• Bounded Model Checking of Synchronous Reactive Models in Ptolemy II

  2022cites this paper
• Formal Verification of Hierarchical Ptolemy II Synchronous-Reactive Models with Bounded Model Checking

  2022cites this paper
• Efficient SMT-Based Model Checking for Signal Temporal Logic

  2021cites this paper
• A model-driven software construction approach for cyber-physical systems

  2018cites this paper
• HYST: a source transformation and translation tool for hybrid automaton models

  2015cites this paper