Petrify
From MaRDI portal
Software:21763
swMATH9784MaRDI QIDQ21763FDOQ21763
Author name not available (Why is that?)
Cited In (25)
- CADRE: An asynchronous embedded DSP for mobile phone applications
- Title not available (Why is that?)
- Title not available (Why is that?)
- Verification of asynchronous systems with an unspecified component
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Computer Aided Verification
- Compact representations and efficient algorithms for operating guidelines
- Distributed simulation of asynchronous Hardware: The program driven synchronization protocol
- Petri Net Synthesis for Restricted Classes of Nets
- Title not available (Why is that?)
- Checking timed Büchi automata emptiness efficiently
- Bounded choice-free Petri net synthesis: algorithmic issues
- Applications and Theory of Petri Nets 2005
- Component refinement and CSC-solving for STG decomposition
- STG decomposition strategies in combination with unfolding
- The Power of Prime Cycles
- A predictive synchronizer for periodic clock domains
- Title not available (Why is that?)
- Verification of asynchronous circuits using timed automata
- Title not available (Why is that?)
- Synthesising elementary net systems with localities
- Some Basic Techniques Allowing Petri Net Synthesis: Complexity and Algorithmic Issues
- Balsa: An Asynchronous Hardware Synthesis Language
This page was built for software: Petrify
