SimCheck: a contract type system for Simulink
Open Access
- 24 March 2011
- journal article
- Published by Springer Science and Business Media LLC in Innovations in Systems and Software Engineering
- Vol. 7 (2), 73-83
- https://doi.org/10.1007/s11334-011-0145-4
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- On relational interfacesPublished by Association for Computing Machinery (ACM) ,2009
- A formal framework for modeling and validating Simulink diagramsFormal Aspects of Computing, 2009
- Scalable Semantic Annotation Using Lattice-Based OntologiesLecture Notes in Computer Science, 2009
- HySAT: An efficient proof engine for bounded model checking of hybrid systemsFormal Methods in System Design, 2006
- Translating discrete-time simulink to lustreACM Transactions on Embedded Computing Systems, 2005
- Computational techniques for hybrid system verificationIEEE Transactions on Automatic Control, 2003
- Interface automataACM SIGSOFT Software Engineering Notes, 2001
- Relational parametricity and units of measurePublished by Association for Computing Machinery (ACM) ,1997
- Using units of measurement in formal specificationsFormal Aspects of Computing, 1995
- Formal verification for fault-tolerant architectures: prolegomena to the design of PVSIEEE Transactions on Software Engineering, 1995