Formal bytes: The Axiomise Podcast Channel
Axiomise is a unique formal verification training, consulting and services company that loves enabling people in formal verification. This podcast is our way of sharing the joy of formal verification.
© 2020 All rights reserved. · more info
Artwork and data is from the podcast’s open RSS feed; we link directly to audio · Read our DMCA procedure
This podcast may use dynamic content insertion
Stats: Statistics are produced by Podbean to help Formal bytes: The Axiomise Podcast Channel to understand how many downloads it is getting, or how many people are listening. Your device’s IP address and user agent is used to help calculate this figure. Podbean is IAB v2 certified. Here is more detail about podcast statistics.
Dynamic content insertion: Podbean may use limited data that they know about you - the device you’re using, the approximate location you’re in, or other data that can be derived from this, like the current weather forecast for your area - to change parts of the audio. Formal bytes: The Axiomise Podcast Channel may do this for advertising or for other forms of content, like news stories.
Formal bytes: The Axiomise Podcast Channel is able to use the above tools since its podcast host or measurement company offers this service. It doesn’t mean that this individual podcast uses them, or has access to this functionality. We use open data.
Listen and follow
Information for podcasters
- Podcast GUID:
3f6cef88-7069-50c2-a78a-fd24dd3061e1 - This podcast doesn’t have a trailer. Apple Podcasts has a specific episode type for a trailer, which also gets used by many other podcast apps: but there isn’t one correctly marked in the RSS feed from Podbean.
- Podcast episode titles may include episode numbers, which is against Apple Podcasts guidelines and makes it harder to listen to your podcast on smart speakers. Here is what Apple wants to do, and why.
- This podcast appears to be missing from iVoox and iHeartRadio. We list all the podcast directories to be in.
- See this podcast’s listener numbers, contact details and more at Rephonic
- Validate this podcast’s RSS feed with Livewire, Truefans or CastFeedValidator