SPHIN

swMATH19754MaRDI QIDQ31578FDOQ31578

Author name not available (Why is that?)

Described by source

• SPHIN: a model checker for reconfigurable hybrid systems based on SPIN

Cited In (4)

• Change and delay contracts for hybrid system component verification
• Applications of polyhedral computations to the analysis and verification of hardware and software systems
• Interoperability of Performance and Functional Analysis for Electronic System Designs in Behavioural Hybrid Process Calculus (BHPC)
• Proceedings of the 5th international workshop on automated verification of critical systems (AVoCS 2005), University of Warwick, Coventry, UK, September 12--13, 2005

This page was built for software: SPHIN