Skip to content
View arminzavada's full-sized avatar
7 followers · 35 following

Achievements

Achievement: Pair Extraordinairex2Achievement: YOLOAchievement: QuickdrawAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair Extraordinairex2Achievement: YOLOAchievement: QuickdrawAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Highlights

  • Pro

Organizations

@ftsrg @IncQueryLabs @Systems-Modeling @ftsrg-edu @ftsrg-rete @ftsrg-ase

Block or report arminzavada

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
arminzavada/README.md

Hi there, I'm Ármin Zavada! 👋

I'm a passionate software developer and researcher with a strong background in formal methods, behavior modeling, and model-based systems engineering (MBSE). I work on combining the rigor of formal methods with the needed flexibility of the 21st century. Welcome to my GitHub profile!

Pinned Loading

  1. ftsrg/semantifyr ftsrg/semantifyr Public

    A framework to support the declarative definition of engineering model semantics

    Java 4 3

  2. ftsrg/theta ftsrg/theta Public

    Generic, modular and configurable formal verification framework supporting various formalisms and algorithms

    Java 63 50

  3. ftsrg/gamma ftsrg/gamma Public

    An Eclipse-based modeling framework for the component-based design and analysis of reactive systems

    Xtend 35 27

  4. graphs4value/refinery graphs4value/refinery Public

    Refinery: an efficient graph solver for generating well-formed models

    Java 20 30

  5. svg-taylor-series-animator svg-taylor-series-animator Public

    This is my homework for Java class. This project is about the fourier series simulation found in this video: https://www.youtube.com/watch?v=r6sGWTCMz2k&feature=em-uploademail

    Java

  6. sudoku-solver sudoku-solver Public

    C++ 1