George S. Avrunin
- Patterns in property specifications for finite-state verification
1999/05/16 by Matthew B. Dwyer, George S. Avrunin, James C. Corbett · 4 citations
Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #Software Testing and Debugging Techniques #Citation #State (computer science) #Computer science #Library science #George (robot) #Property (philosophy) #Artificial intelligence #Programming language