User contributions for Jeanqasaur
A user with 8 edits. Account created on 23 October 2013.
13 September 2014
- 16:0816:08, 13 September 2014 diff hist −992 Software verification No edit summary
- 16:0816:08, 13 September 2014 diff hist +822 Formal verification →Formal verification for software
- 16:0216:02, 13 September 2014 diff hist +206 Greg Morrisett No edit summary
- 04:4004:40, 13 September 2014 diff hist +1,046 Software verification →Static verification (Analysis)
30 May 2014
- 01:1101:11, 30 May 2014 diff hist +1,045 Verve (operating system) No edit summary
- 00:5900:59, 30 May 2014 diff hist −41 m Verve (operating system) →References
- 00:5700:57, 30 May 2014 diff hist +813 Verve (operating system) →References
23 October 2013
- 17:1017:10, 23 October 2013 diff hist +1,282 Satisfiability modulo theories Added some information about applications of SMT solvers.
