Bomotest - A formal conformance testing tool, Version 1.5

Tuomo Pyhälä, Keijo Heljanko

Research output: Artistic and non-textual form › Software › Scientific

Original language	English
Publication status	Published - 2003
MoE publication type	I2 ICT applications

Keywords

bounded model checking
coverage

Other files and links

http://www.tcs.hut.fi/~tpyhala/bomotest/bomotest.html

Cite this