Chasing Errors Using Biasing Automata

Leveraging Applications of Formal Methods, Verification and Validation. Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-030-03421-4_18 ◽

2018 ◽

pp. 271-286 ◽

Cited By ~ 1

Author(s):

Lei Bu ◽

Doron Peled ◽

Dashuan Shen ◽

Yael Tzirulnikov

Download Full-text