Found 7 Software Packages (Results 1–7)


Software Authors:   Lämmel, Ralf; Schulte, Wolfram
Cited in: 5 Publications (2006–2011)
Related Software: Korat; DART; SpecExplorer; GenRGenS; jCUTE; HOL-TestGen; …
Main Fields: Computer science (68-XX)


Software Authors:   Li, M.; Lou, X. Y.; Kim, J. H.; Wagoner, R. H.
Cited in: 5 Publications (2010–2019)
Related Software: HYPLAS; UMAT; ABAQUS/Standard; ABAQUS
Main Fields: Mechanics of deformable solids (74-XX)


Software Authors:   Roncero-Clemente, C.; Roanes-Lozano, E.
Cited in: 4 Publications (2018–2020)
Related Software: REDLOG; Maple
Main Fields: Computer science (68-XX); Systems theory; control (93-XX); Information and communication theory, circuits (94-XX)


Software Authors:   Ritchie Lee
Cited in: 1 Publication (2021)
Related Software: Breach; S-TaLiRo; OpenAI Gym; Julia; POMDPs.jl; POMDPStressTesting.jl; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)


Software Authors:   Soyeon Park, Shan Lu, Yuanyuan Zhou
Cited in: 3 Publications (2013–2016)
Related Software: RacerX; PENELOPE; jPredictor; ASM; QuickLex; CHESS; …
Main Fields: Computer science (68-XX); Systems theory; control (93-XX)


Software Authors:   Xuejun Yang; Yang Chen; Eric Eide; John Regehr
Cited in: 1 Publication (2018)
Related Software: jsfunfuzz; Plum Hall; ACVS; Frama-C
Main Fields: Computer science (68-XX)


Software Authors:   Robert J. Moss
Cited in: 0 Publications
Related Software: AdaptiveStressTesting.jl; Breach; OpenAI Gym; S-TaLiRo; Julia; POMDPs.jl
Main Fields: