anmavrid

Research Scientist @ NASA Ames Research Center - Do you speak FRETish? 👍

NASA Ames Research CenterMountain View, CA

Pinned Repositories

awesome-docsify
💖 A curated list of awesome things related to docsify
00
DesignBIP
Language:JavaScript11 5 25
formula
Language:JavaScript0 1 00
ikos
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
Language:C++0 1 00
javabdd
Language:Java00
javabip-core
Coordination of concurrent Java components using a Java flavour of the BIP (Behaviour, Interactions, Priorities) framework.
Language:Java0 2 00
javabip-engine
Language:Java0 2 00
smart-contracts
Language:JavaScript119 12 430
fret
A framework for the elicitation, specification, formalization and understanding of requirements.
Language:JavaScript280 22 3346
javabip-core
Coordination of concurrent Java components using a Java flavour of the BIP (Behaviour, Interactions, Priorities) framework.
Language:Java67

anmavrid's Repositories

anmavrid/smart-contracts
Language:JavaScript119 12 430
anmavrid/DesignBIP
Language:JavaScript11 5 25
anmavrid/awesome-docsify
💖 A curated list of awesome things related to docsify
00
anmavrid/formula
Language:JavaScript0 1 00
anmavrid/ikos
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
Language:C++0 1 00
anmavrid/javabdd
Language:Java00
anmavrid/javabip-core
Coordination of concurrent Java components using a Java flavour of the BIP (Behaviour, Interactions, Priorities) framework.
Language:Java0 2 00
anmavrid/javabip-engine
Language:Java0 2 00
anmavrid/javabip-hadoop
Language:Java1 0
anmavrid/javabip-itest
Language:Java2 0