135
click to vote
ICFEM
2009
Springer
16 years 10 days ago
2009
Springer
Formal specification languages are traditionally supported by theorem provers, but recently model checkers have proven to be useful tools. In this paper we present Eboc, an explic...