This repository is a source code of my master thesis. In my master thesis, I developed a prototype to translate TLA+ expressions to the SMT-LIB language, and to verify safety properties with SMT solvers, IC3-based techniques and user-guided predicate abstraction.
Core JAVA Object Oriented Programming Concepts
displaying html5 magazines in android, created resources on baker framework test magazines.
Offers a straight forward xml abstraction layer for the registration of "WebDriverEventListener" event listener for more flexibility.
Sprouts Framework provides you a template devised to ease use cases implementation. This repository is the starting point!
Object-Oriented Design of a library database
Abstract keyword in Java, Abstract classes, examples of abstract classes
The conex.io project provides an API to interact with home automation devices, which are connected to a home automation server, detached from the manufacturer specific communication syntax.
Robot software for 2017 FRC Game, FIRST STEAMWORKS
Java SE, Abstraction, Inheritance, Math() class
Selenium Testing of the User Accounts Application
Sample of basic java projects.
Binar 3th Session Learn About (OOP): Polymorphism, Abstract
Functional programming style in Java
This repository contains basics of programming in java or we can say recipe that we need to know before going to higher level of programming.....Happy Coding:)
A very minimal and simple library to interact with different storage systems
Este repositório é para armazenamento dos exemplos e códigos obtidos dos meus estudos de Java.
Core Java Full
Add a description, image, and links to the abstraction topic page so that developers can more easily learn about it.
To associate your repository with the abstraction topic, visit your repo's landing page and select "manage topics."