TDG Scholar TDGScholar Committed to research! Version 1.7

Bibliography

| Report | Share
A total of 99 records were found in 0.484 seconds
Identifying Negative Cost Cycles in Strongly Polynomial Space
Nord. J. Comput., 15(2):154-171, 2015
SimCheck: An Expressive Type System for Simulink
NASA Formal Methods, 149-160, 2010
Verified Software: Theories, Tools, Experiments, Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings
ISBN: 978-3-540-87872-85295, 2008
Automated Reasoning, Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
ISBN: 3-540-37187-74130, 2006
Invisible formal methods for embedded control systems
Proceedings of the IEEE, 91(1):29-39, 2003
A case-study in component-based mechanical verification of fault-tolerant programs
WSS, 33-40, 1999
Verifying a self-stabilizing mutual exclusion algorithm
PROCOMET, 424-443, 1998