is bringing you the latest in DevOps & innovation!NuSMV Tools
New Project Provides Tools for NuSMV Model Checker
NuSMV Tools project will consist of two EMF-based models, a model analyser and an OSGi bundle.
NuSMV Tools project will consist of two EMF-based models, a model analyser and an OSGi bundle.
Bringing the fun back into finance: Interview with the co-founder of trading app BUX
Credit Suisse: 5 potential uses for Blockchain technology
"You could think of Hyperledger Fabric kind of like an Apache Web Server"
“We’re just on the edge of blockchain’s potential”
[Bit]coin flipping: It's up to the developers how soon blockchain goes mainstream
