1![Towards a Web-based Analyzer to improve the teaching of Alloy Alcino Cunha, Nuno Macedo José Pereira, Bruno Carvalho, Ricardo Silva Towards a Web-based Analyzer to improve the teaching of Alloy Alcino Cunha, Nuno Macedo José Pereira, Bruno Carvalho, Ricardo Silva](https://www.pdfsearch.io/img/7c7aec78fa5ce6bf2b19ad02eb3cd581.jpg) | Add to Reading ListSource URL: alloytools.orgLanguage: English - Date: 2018-06-13 06:07:43
|
---|
2![Aluminum: Principled Scenario Exploration through Minimality Tim Nelson1 , Salman Saghafi1 , Daniel J. Dougherty1 , Kathi Fisler1 , Shriram Krishnamurthi2 1 Department of Computer Science Aluminum: Principled Scenario Exploration through Minimality Tim Nelson1 , Salman Saghafi1 , Daniel J. Dougherty1 , Kathi Fisler1 , Shriram Krishnamurthi2 1 Department of Computer Science](https://www.pdfsearch.io/img/252a0a5222e93083302a80cd59532dcb.jpg) | Add to Reading ListSource URL: web.cs.wpi.eduLanguage: English - Date: 2013-04-15 14:14:29
|
---|
3![A Security Domain Model for Static Analysis and Verification of Software Programs Alan B. Shaffer Naval Postgraduate School Computer Science Dept Monterey, CA, USA A Security Domain Model for Static Analysis and Verification of Software Programs Alan B. Shaffer Naval Postgraduate School Computer Science Dept Monterey, CA, USA](https://www.pdfsearch.io/img/46accec815d72450a365a9a5e4a96174.jpg) | Add to Reading ListSource URL: cisr.nps.eduLanguage: English - Date: 2008-08-18 13:41:06
|
---|
4![Microsoft Word - mise19-rubin3.doc Microsoft Word - mise19-rubin3.doc](https://www.pdfsearch.io/img/91d817c822e2cd496d30a936dd44965c.jpg) | Add to Reading ListSource URL: people.csail.mit.eduLanguage: English - Date: 2014-11-01 02:00:44
|
---|
5![Aleksandar Milicevic Contact Information 32 Vassar St, Office G706 Computer Science and Artificial Intelligence Laboratory Aleksandar Milicevic Contact Information 32 Vassar St, Office G706 Computer Science and Artificial Intelligence Laboratory](https://www.pdfsearch.io/img/0dbd6297b294038ce93f86501e8d82ef.jpg) | Add to Reading ListSource URL: people.csail.mit.eduLanguage: English - Date: 2014-10-06 20:27:30
|
---|
6![Kodkod for Alloy Users Emina Torlak and Greg Dennis Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory Cambridge, MA 02139 {emina, Kodkod for Alloy Users Emina Torlak and Greg Dennis Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory Cambridge, MA 02139 {emina,](https://www.pdfsearch.io/img/2c87097f22d0729def3a96fe43985550.jpg) | Add to Reading ListSource URL: homes.cs.washington.eduLanguage: English - Date: 2014-08-13 19:26:58
|
---|
7![Preventing Arithmetic Overflows in Alloy Aleksandar Milicevica,∗, Daniel Jacksona a Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory, Preventing Arithmetic Overflows in Alloy Aleksandar Milicevica,∗, Daniel Jacksona a Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory,](https://www.pdfsearch.io/img/fadf7f1bffe86fa37c5254e5e350898b.jpg) | Add to Reading ListSource URL: people.csail.mit.eduLanguage: English - Date: 2014-07-07 17:53:08
|
---|
8![Collected Experience and Thoughts on Long Term Development of an Open Source MDE Tool Lars Hamann, Frank Hilken, and Martin Gogolla University of Bremen, Computer Science Department DBremen, Germany Collected Experience and Thoughts on Long Term Development of an Open Source MDE Tool Lars Hamann, Frank Hilken, and Martin Gogolla University of Bremen, Computer Science Department DBremen, Germany](https://www.pdfsearch.io/img/c4fbf313829679f60e9143a1227c2a28.jpg) | Add to Reading ListSource URL: ceur-ws.orgLanguage: English - Date: 2014-11-10 03:43:46
|
---|
9![Under consideration for publication in Math. Struct. in Comp. Science Applications and Extensions of Alloy: Past, Present, and Future E M I N A T O R L A K 1 , M A N A T A G H D I R I 2 , G R E G D E N N I S 3 and J O S Under consideration for publication in Math. Struct. in Comp. Science Applications and Extensions of Alloy: Past, Present, and Future E M I N A T O R L A K 1 , M A N A T A G H D I R I 2 , G R E G D E N N I S 3 and J O S](https://www.pdfsearch.io/img/f68c8f953fcde5d3f23504ab495865b1.jpg) | Add to Reading ListSource URL: homes.cs.washington.eduLanguage: English - Date: 2014-08-13 19:26:58
|
---|