Adaptive verification using forced simulation

journal contribution

posted on 2024-03-25, 05:56 authored by Roopak SinhaRoopak Sinha, PS Roop, B Khoussainov

Adaptive verification using forced simulation

History

Journal

Electronic Notes in Theoretical Computer Science

Volume

141

Pagination

171-197

ISSN

1571-0661

Language

English

Publication classification

C1.1 Refereed article in a scholarly journal

Issue

3

Publisher

ELSEVIER SCIENCE BV

Publication URL

http://dx.doi.org/10.1016/j.entcs.2005.02.047

Usage metrics

Categories

Keywords

Science & Technology Technology Computer Science, Theory & Methods Computer Science Formal verification adaptive bisimulation

Licence

All Rights Reserved

Exports