- Referenced in 1 article
- Praspel: A Specification Language for Contract-Based Testing in PHP. We introduce in this paper ... SPEcification Language. This language is based on the Design-by-Contract paradigm. Praspel clauses annotate...
- Referenced in 77 articles
- A modular formal semantics for Ptolemy. Ptolemy is...
- Referenced in 17 articles
- Metropolis: an integrated electronic system design environment. oday...
- Referenced in 24 articles
- GasLib. A library of gas network instances. Natural...
- Referenced in 20 articles
- The nuXmv Symbolic Model Checker. This paper describes...