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

Extensive Validation of OCL Models by Integrating SAT Solving into USE

other

Author(s): Mirco Kuhlmann , Lars Hamann , Martin Gogolla

Publication date (Print): 2011

Publisher: Springer Berlin Heidelberg

Read this book at

Publisher

Buy book

Bookmark

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

Related collections

Most cited references 21

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

Kodkod: A Relational Model Finder

Emina Torlak, Daniel Jackson (2007)

0 comments Cited 40 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Article: not found

Reasoning on UML class diagrams

Giuseppe De Giacomo, Diego Calvanese, Daniela Berardi (2005)

0 comments Cited 40 times – based on 0 reviews      Review now

Bookmark

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

Nitpick: A Counterexample Generator for Higher-Order Logic Based on a Relational Model Finder

Jasmin Christian Blanchette, Tobias Nipkow (2010)

0 comments Cited 31 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2011

Pages: 290-306

DOI: 10.1007/978-3-642-21952-8_21

SO-VID: ad03d759-4da5-4185-9fea-360fb6398611

History

Data availability:

Extensive Validation of OCL Models by Integrating SAT Solving into USE

Read this book at

Related collections

Exponential Random Graph Models

Most cited references 21

Kodkod: A Relational Model Finder

Reasoning on UML class diagrams

Nitpick: A Counterexample Generator for Higher-Order Logic Based on a Relational Model Finder

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 5,329

Cited by 6