Nina Amla

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Abstract patterns of compositional reasoning. Lecture Notes in Computer Science	2010-03-30	Paper
Combining Abstraction Refinement and SAT-Based Model Checking Tools and Algorithms for the Construction and Analysis of Systems	2007-09-03	Paper
Formal Methods in Computer-Aided Design Lecture Notes in Computer Science	2006-10-20	Paper
Correct Hardware Design and Verification Methods Lecture Notes in Computer Science	2006-10-20	Paper
Visual specifications for modular reasoning about asynchronous systems Lecture Notes in Computer Science	2003-09-03	Paper
Automatic abstraction without counterexamples Lecture Notes in Computer Science	2003-07-30	Paper
Experimental analysis of different techniques for bounded model checking Lecture Notes in Computer Science	2003-07-30	Paper
RTDT: A front-end for efficient model checking of synchronous timing diagrams Lecture Notes in Computer Science	2002-09-04	Paper
Assume-guarantee based compositional reasoning for synchronous timing diagrams Lecture Notes in Computer Science	2002-02-05	Paper

Research outcomes over time

This page was built for person: Nina Amla