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

Pasareanu, Corina S.; Giannakopoulou, Dimitra; Bobaru, Mihaela Gheorghiu; Cobleigh, Jamieson M.; Barringer, Howard

doi:10.1007/s10703-008-0049-6

Record: found
Abstract: not found
Article: not found

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

Author(s): Corina S. Păsăreanu , Dimitra Giannakopoulou , Mihaela Gheorghiu Bobaru , Jamieson M. Cobleigh , Howard Barringer

Publication date (Electronic): January 25 2008

Journal: Formal Methods in System Design

Publisher: Springer Nature America, Inc

Read this article at

ScienceOpenPublisher

Bookmark

There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 13

Record: found
Abstract: not found
Book Chapter: not found

Counterexample-Guided Abstraction Refinement

Edmund Clarke, Orna Grumberg, Somesh Jha … (2000)

0 comments Cited 157 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Book Chapter: not found

NuSMV 2: An OpenSource Tool for Symbolic Model Checking

Alessandro Cimatti, Edmund Clarke, Enrico Giunchiglia … (2002)

0 comments Cited 86 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Book Chapter: not found

Learning Assumptions for Compositional Verification

Jamieson Cobleigh, Dimitra Giannakopoulou, Corina Pasareanu (2003)

0 comments Cited 44 times – based on 0 reviews

Bookmark

All references

Author and article information

Journal

Title: Formal Methods in System Design

Abbreviated Title: Form Methods Syst Des

Publisher: Springer Nature America, Inc

ISSN (Print): 0925-9856

ISSN (Electronic): 1572-8102

Publication date Created: June 2008

Publication date (Electronic): January 25 2008

Publication date (Print): June 2008

Volume: 32

Issue: 3

Pages: 175-205

Article

DOI: 10.1007/s10703-008-0049-6

SO-VID: 857e499b-f2cd-4dcd-af4b-91d4671e2d95

History

Data availability:

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

Read this article at

Related collections

Computer Vision, Deep Learning, Deep Reinforcement Learning, IoT

Most cited references 13

Counterexample-Guided Abstraction Refinement

NuSMV 2: An OpenSource Tool for Symbolic Model Checking

Learning Assumptions for Compositional Verification

Author and article information

Journal

Article

History

Comments

Comment on this article

Similar content 1,085

Cited by 15

Most referenced authors 116