3 search results - page 1 / 1 » CIRC: A Behavioral Verification Tool Based on Circular Coind... |
CALCO
2009
Springer
13 years 11 months ago
2009
Springer
ICFEM
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. Coinduction is a major technique employed to prove behavioral properties of systems, such as behavioral equivalence. Its automation is highly desirable, despite the fact ...
FASE
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. Coalgebra has in recent years been recognized as the framework of choice for the treatment of reactive systems at an appropriate level of generality. Proofs about the rea...