We present Anquiro, a domain-specific model checker for statically verifying the correctness of sensor network software. In this context, static ...

We present ANQUIRO, a domain-specific model checker for stati- cally verifying the correctness of sensor network software. In this context, static verification ...

We present Anquiro, a domain-specific model checker for statically verifying the correctness of sensor network software. In this context, static ...

2010. Abstract We present Anquiro, a domain-specific model checker for statically verifying the correctness of sensor network software.

2010 (English)Conference paper, Published paper (Refereed). Place, publisher, year, edition, pages. 2010, 8. National Category.

Dec 31, 2012 · Anquiro overcomes state space explosion problems during verification by providing different abstraction levels depending on the functionality to ...

Abstract We present Anquiro, a domain-specific model checker for statically verifying the correctness of sensor network software. In this context, static ...

... Sensor Networks: 6th European Conference, EWSN 2009, Cork, Ireland …, 2009. 43, 2009. Anquiro: Enabling efficient static verification of sensor network software.

May 3, 2010 · We present Anquiro, a domain-specific model checker for statically verifying the correctness of sensor network software. In this context, static ...

Anquiro: enabling efficient static verification of sensor network software. ... software development of sensor nodes in wireless sensor networks. 72-75.