Satyaki Das und David - Info zur Person

(1 - 14 von 20

)

CONCUR Concurrency Theory: 11th International Conference,...

books.google.de

5 Satyaki Das, David L. Dill, and Seungjoon Park. Experience with predicate abstraction. In Halbwachs and Peled [HP99], pages 160– Det96. DF95.

Formal Methods in Computer-Aided Design: 4th International...

books.google.de

Satyaki Das and David L. Dill. Successive approximation of abstract transition relations. In Proceedings of the Sixteenth Annual IEEE Symposium on Logic in ...

Model Checking Software: 9th International SPIN Workshop Grenoble,...

books.google.de

PhD thesis, Eindhoven University of Technology, P.O. Box 513, MB Eindhoven, The Netherlands, July Satyaki Das, David L. Dill, and Seungjoon ...

Formal Methods in Computer-Aided Design: Third International...

books.google.de

Satyaki Das, David L. Dill, and Seungjoon Park. Experience with predicate abstraction. In Halbwachs and Peled [HP99]. Nicolas Halbwachs and Doron Peled, ...

CiteSeerX — Experience with Predicate Abstraction

citeseerx.ist.psu.edu

CiteSeerX - Document Details (Isaac Councill, Lee Giles, Pradeep Teregowda): ion ? Satyaki Das 1 , David L. Dill 1 , and Seungjoon Park 2 1 Computer ...

Counter-Example Based Predicate Discovery in Predicate Abstraction

dl.acm.org

Satyaki Das , David L. Dill, Successive Approximation of Abstract Transition Relations, Proceedings of the 16th Annual IEEE Symposium on Logic in Computer ...

Successive Approximation of Abstract Transition Relations

dl.acm.org

Satyaki Das , David L. Dill, Counter-Example Based Predicate Discovery in Predicate Abstraction, Proceedings of the 4th International Conference on Formal ...

DBLP: Seungjoon Park

ftp.informatik.rwth-aachen.de

Satyaki Das, David L. Dill, Seungjoon Park: Experience with Predicate Abstraction. CAV 1999: : 6: EE: Seungjoon Park, David L. Dill: An Executable

dblp: David L. Dill

dblp.uni-trier.de

List of computer science publications by David L. Dill.

PetriNets Mailing List Posting

www.informatik.uni-hamburg.de

... Jones Counter-Example Based Predicate Discovery in Predicate Abstraction Satyaki Das, David L. Dill Automated Abstraction Refinement for ...

Advance Program - LICS

lics.rwth-aachen.de

Peter Habermehl (LIAFA), Yassine Lakhnech (Kiel). Experience with Predicate Abstraction Satyaki Das, David L. Dill (Stanford Univ.), Seungjoon Park (RIACS).

Automatic Checking of Aggregation Abstractions Through State...

link.springer.com

13. Automatic Checking of. Aggregation Abstractions. Through State Enumeration. Seungjoon Park. Satyaki Das. David L. Dill. Computer Systems Laboratory ...

Alle Infos zum Namen "Satyaki Das"

Program

www.cs.utexas.edu

Satyaki Das, David L. Dill; Automated Abstraction Refinement for Model Checking Large State Spaces using SAT based Conflict Analysis Pankaj Chauhan ...

Liens vers d'autres chercheurs

www.di.ens.fr

Satyaki DAS · Tom DEAN · Jaco DE BAKKER · Mourad DEBBABI · Saumya K. DEBRAY · Pierpaolo DEGANO · David DÉHARBE Jean-Luc ...

Verwandte Suchanfragen zu Satyaki Das

Byron Cook

Personen
Vorname "Satyaki" (5)
Name "Das" (2560)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Satyaki Das und David Person-Info