Rebeca: Theory, Applications, and Tools
- 1 January 2007
- conference paper
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableThis publication has 37 references indexed in Scilit:
- Modeling component connectors in Reo by constraint automataScience of Computer Programming, 2006
- Using partial orders to improve automatic verification methodsPublished by Springer Science and Business Media LLC ,2005
- A stubborn attack on state explosionPublished by Springer Science and Business Media LLC ,2005
- Programming dynamically reconfigurable open systems with SALSAACM SIGPLAN Notices, 2001
- A methodology for hardware verification using compositional model checkingScience of Computer Programming, 2000
- SMCACM Transactions on Software Engineering and Methodology, 2000
- Model checking JAVA programs using JAVA PathFinderInternational Journal on Software Tools for Technology Transfer, 2000
- Modularization and abstraction: The keys to practical formal verificationPublished by Springer Science and Business Media LLC ,1998
- Verification of open systemsPublished by Springer Science and Business Media LLC ,1997
- RTsynchronizerACM SIGPLAN Notices, 1995