[![Build Status](https://travis-ci.org/bitctrl/de.bsvrz.dua.plformal.svg?branch=master)](https://travis-ci.org/bitctrl/de.bsvrz.dua.plformal)
[![Build Status](https://api.bintray.com/packages/bitctrl/maven/de.bsvrz.dua.plformal/images/download.svg)](https://bintray.com/bitctrl/maven/de.bsvrz.dua.plformal)


#  Segment 4 Datenübernahme und Aufbereitung (DUA), SWE 4.1 Pl-Prüfung formal  

Diese SW-Einheit ist Bestandteil der [NERZ-Software](http://nerz-ev.de). 

Aufgabe der SWE Pl-Prüfung formal ist es, die Werte aller parametrierten
Attribute nach formalen Kriterien zu überprüfen. Je Attribut müssen dazu
numerische Grenzwerte in der Parametrierung hinterlegt sein. Prinzipiell
ermöglicht die SWE Pl-Prüfung formal, alle terminalen numerischen Attribute
zu überprüfen, die innerhalb einer Datenidentifikation vorkommen können.

## Kontakt

BitCtrl Systems GmbH  
Weißenfelser Straße 67  
04229 Leipzig  
Phone: +49 341-490670  
mailto: info@bitctrl.de
