DeepDyve – unlimited articles from the top peer-reviewed journals – Just $9.99/month.

Stay on top of your field and complete your research – Get started with a Free Trial. Signup only takes 60 seconds!

Learning to divide and conquer: applying the L* algorithm to automate assume-guarantee reasoning

Formal Methods in System Design , Volume 32 (3) – Jun 1, 2008

Details

Publisher
Springer US
Copyright
Copyright © 2008 by Springer Science+Business Media, LLC
Subject
Engineering; Software Engineering/Programming and Operating Systems ; Computer-Aided Engineering (CAD, CAE) and Design; Electronic and Computer Engineering; Circuits and Systems
ISSN
0925-9856
eISSN
1572-8102
D.O.I.
10.1007/s10703-008-0049-6
Publisher site
See Article on Publisher Site
Expand Tray Hide Tray

Loading next page...

End of preview. The entire article is 31 pages. Rent for Free

 
/lp/springer-journal/learning-to-divide-and-conquer-applying-the-l-algorithm-to-automate-02u696a2Ql

Loading...