×

AsmL

swMATH ID: 11363
Software Authors: Microsoft Research; Grieskamp, W.; Gurevich Y.
Description: AsmL: Abstract State Machine Language. AsmL is an industrial-strength executable specification language. It can be used at any stage of the programming process: design, coding, or testing. It is fully integrated into the Microsoft .NET environment: AsmL models can interoperate with any other .NET assembly, no matter what source language it is written in. AsmL uses XML and Word for literate specifications. AsmL is the Abstract State Machine Language. The FSE group develops AsmL. It is an executable specification language based on the theory of Abstract State Machines, invented by Yuri Gurevich. The current version, AsmL for Microsoft .NET, is embedded into Microsoft Word. It uses XML and Word for literate specifications. It is fully interoperable with other .NET languages. AsmL generates .NET assemblies which can either be executed from the command line, linked with other .NET assemblies, or packaged as COM components.
Homepage: http://research.microsoft.com/en-us/projects/asml/
Related Software: ML; SpecExplorer; Korat; LPTP; XASM; z3; QuickCheck; AGEDIS; TulaFale; Uppaal; Paracooba; Kissat; CaDiCaL; Z3str3; Rosette; GitHub; COMiniSatPS; JViews; MUSer2; Yices
Cited in: 44 Publications
all top 5

Cited by 78 Authors

9 Gurevich, Yuri
6 Schulte, Wolfram
5 Hierons, Robert Mark
5 Veanes, Margus
3 Beierle, Christoph
3 Kern-Isberner, Gabriele
3 Rosenzweig, Dean
3 Rossman, Benjamin
3 Tillmann, Nikolai
2 Anureev, Igor’ Sergeevich
2 Barnett, Mike
2 Bjørner, Nikolaj S.
2 Blass, Andreas Raphael
2 Börger, Egon
2 Fruja, Nicu G.
2 Nachmanson, Lev
2 Runje, Davor
2 Ural, Hasan
1 Artho, Cyrille
1 Barringer, Howard
1 Boca, Paul P.
1 Bonsangue, Marcello Maria
1 Bowen, Jonathan P.
1 Cegielski, Patrick
1 Chalin, Patrice
1 de Boer, Frank S.
1 de Roever, Willem-Paul
1 Dssouli, Rachida
1 Gargantini, Angelo
1 Graf, Susanne
1 Grieskamp, Wolfgang
1 Guessarian, Irène
1 Habibi, Ali
1 Haldimann, Jonas
1 Hassine, Jameleddine
1 Havelund, Klaus
1 Johnson, James E.
1 Jourdan, Guy-Vincent
1 Kardos, Martin
1 Khendek, Ferhat
1 Khurshid, Sarfraz
1 Koch, Nicole
1 Koch, Peter M.
1 Lämmel, Ralf
1 Lamport, Leslie
1 Langworthy, David E.
1 Lázaro Cuadrado, Daniel
1 Levatich, Maxwell
1 Lopes, Nuno P.
1 Lowry, Mike
1 Merayo, Mercedes G.
1 Nunez, Manuel A.
1 Oberthür, Simon
1 Păsăreanu, Corina S.
1 Peled, Doron A.
1 Petrenko, Alexandre
1 Rammig, Franz J.
1 Ravn, Anders P.
1 Riccobene, Elvinia
1 Rilling, Juergen
1 Roşu, Grigore
1 Rybalchenko, Andrey
1 Saabas, Ando
1 Sen, Koushik
1 Sinnig, Daniel
1 Slani, Neva
1 Tahar, Sofiène
1 Tsay, Yih-Kuen
1 Ulrich, Andreas
1 Visser, Willem
1 Vogt, Friedrich H.
1 Vuppalapati, Chandrasekar
1 Wallace, Charles
1 Washington, Rich
1 Yavorskii, Rostislav Eduardovich
1 Yenigun, Husnu
1 Zhang, Jichao
1 Zhao, Yuhong

Citations by Year