Andere Suchmöglichkeiten:
java » jama (Erweiterte Suche), jana (Erweiterte Suche), jaha (Erweiterte Suche)
java » jama (Erweiterte Suche), jana (Erweiterte Suche), jaha (Erweiterte Suche)
1
von Fenwick, Matthew, Sesanker, Colbert, Schiller, Martin R., Ellis, Heidi JC, Hinman, M. Lee, Vyas, Jay, Gryk, Michael R.
Veröffentlicht 2012
“... complex data operations and mathematical constructs in an expressive and natural idiom. The slow adoption...”Veröffentlicht 2012
Volltext
Volltext
Volltext
Artigo
2
von Shamakhi, Ali, Hojjat, Hossein, Rümmer, Philipp
Veröffentlicht in Tools and Algorithms for the Construction and Analysis of Systems (2021)
“...JayHorn is a Horn clause-based model checker for Java programs that has been competing at SV-COMP...”Veröffentlicht in Tools and Algorithms for the Construction and Analysis of Systems (2021)
Volltext
Volltext
Artigo