Automatic verification of sequential infinite-state processes View on Open Library

Automatic verification of sequential infinite-state processes

by Olaf Burkart

No reviews yet
First published: 1997 1 language ISBN: 9783540696780
Subjects
Branch and bound algorithms Computer software Infinite Processes Processes, Infinite Software engineering Verification Computer programming Congresses Computer science Mathematics

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

You Might Also Like

More in Branch and bound alg...
Branch-and-bound strategies for dynamic programming

Branch-and-bound strategies for dynamic ...

Thomas L. Morin
Results of the synthesis of optimal networks of AND and OR gates for four-variable switching functions by a branch-and-bound computer program

Results of the synthesis of optimal netw...

Jay Culliney
Pruning and branching methods for designing optimal networks by the branch-and-bound method

Pruning and branching methods for design...

Tomoyasu Nakagawa
Branch and bound methods for combinatorial problems

Branch and bound methods for combinatori...

John D. C. Little
Optimizing binary trees grown with a sorting algorithm

Optimizing binary trees grown with a sor...

William A Martin
Die Lösung von Reihenfolgeproblemen aus den Bereich der Maschinenbelegungsplanung mit Hilfe des branch and bound algorithmus

Die Lösung von Reihenfolgeproblemen aus...

Gerhard Rubow