Helping humans and AIs create well behaved software systems.
Israel/US
Joined October 2020
- Tweets186
- Following173
- Followers33
- Likes49
Provengo Technologies retweeted
Having spent the last few years in formal methods and programming languages, I wholeheartedly agree. And it's not just the programming languages - the change can to programming paradigms as well. At @ProvengoTech we use a novel executable FM to spec, verify, test, and automate.
Provengo Technologies retweeted
Did you miss out on this year's #OnlineTestConf?
No worries - you can view all session recordings by the great speakers:
@gil_zilberfeld, @Estherokafor_, @lisacrispin, @TestMetry, @joelmonte, @michbarsinai, @mikelyles (and more) right here -
hubs.la/Q02Z21560
Provengo Technologies retweeted
Next up on #OTC "Model Based Testing: A Powerful Way to QA" with @michbarsinai. Not too late to join this and all the rest of our sessions โtoday - and we'll still share all session recordings you might have missed.
hubs.la/Q02X43q70
Provengo Technologies retweeted
ืฉืจืฉืืจ ืืขื ืืื ืืฉืืืื ืืืขืช ืฉืืืื ื ืืืง ืืืืฉืจืื ๐
ืืืืชื ืืืื ืืช ืคืจืง ืืืกืืื ืฉื @DarkModeIL (ืืื ืืฉืืจ ืืฆืืืื ืื). ืืืช ืื ืงืืืืช ืฉืขืื ืฉื ืืื ืืืกืื ืืกืืื ืฉื 100%. ืืื ืฆืจืื ืืฉืืื - 100% *ืืื*? ืื! ืื ื ืฉืื ืฉืืขืืชื ืืช ืื ืงืืื. ืฉืจืฉืืจ (ืืืืื ื ืืืช: ืื ื CTO ืืกืืืจืืืค ืฉืืืคื ืืื ืืฉืืจ ืื ืืืกืืื, ืืื ืื ืฉืจืฉืืจ ืจืืฉืื ืฉืื ืื ืชืืื ื ืืืืื).