The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules. It combines the design by contract approach of Eiffel and the model-based specification approach of the Larch family of interface specification languages, with some elements of the refinement calculus.

References in zbMATH (referenced in 156 articles )

Showing results 1 to 20 of 156.
Sorted by year (citations)

1 2 3 ... 6 7 8 next

  1. Alpuente, María; Ballis, Demis; Frechina, Francisco; Sapiña, Julia: Debugging Maude programs via runtime assertion checking and trace slicing (2016)
  2. Galán, Francisco J.; Cañete-Valdeón, José M.: Synthesis of positive logic programs for checking a class of definitions with infinite quantification (2016)
  3. Wiik, Jonatan; Boström, Pontus: Contract-based verification of MATLAB-style matrix programs (2016)
  4. Beneš, Nikola; Křetínský, Jan; Larsen, Kim G.; Møller, Mikael H.; Sickert, Salomon; Srba, Jiří: Refinement checking on parametric modal transition systems (2015)
  5. Kirchner, Florent; Kosmatov, Nikolai; Prevosto, Virgile; Signoles, Julien; Yakobowski, Boris: Frama-C: a software analysis perspective (2015) ioport
  6. Yu, Jian; Sheng, Quan Z.; Swee, Joshua K.Y.; Han, Jun; Liu, Chengfei; Noor, Talal H.: Model-driven development of adaptive web service processes with aspects and rules (2015) ioport
  7. Avalle, Matteo; Pironti, Alfredo; Sisto, Riccardo: Formal verification of security protocol implementations: a survey (2014) ioport
  8. Beckert, Bernhard; Bruns, Daniel; Klebanov, Vladimir; Scheben, Christoph; Schmitt, Peter H.; Ulbrich, Mattias: Information flow in object-oriented software (2014)
  9. Damiani, Ferruccio; Dovland, Johan; Broch Johnsen, Einar; Schaefer, Ina: Verifying traits: an incremental proof system for fine-grained reuse (2014)
  10. David R. Cok: OpenJML: Software verification for Java 7 using JML, OpenJDK, and Eclipse (2014) arXiv
  11. De Gouw, Stijn; De Boer, Frank; Rot, Jurriaan: Proof pearl: The KeY to correct and stable sorting (2014)
  12. Honda, Kohei; Yoshida, Nobuko; Berger, Martin: An observationally complete program logic for imperative higher-order functions (2014)
  13. Almeida, J.Bacelar; Barbosa, Manuel; Pinto, Jorge S.; Vieira, Bárbara: Formal verification of side-channel countermeasures using self-composition (2013)
  14. Beckert, Bernhard; Klebanov, Vladimir: A dynamic logic for deductive verification of multi-threaded programs (2013)
  15. Cavalcanti, Ana; Wellings, Andy; Woodcock, Jim: The safety-critical Java memory model formalised (2013)
  16. Simmonds, Jocelyn; Ben-David, Shoham; Chechik, Marsha: Monitoring and recovery for web service applications (2013)
  17. Apt, Krzysztof R.; De Boer, Frank S.; Olderog, Ernst-Rüdiger; De Gouw, Stijn: Verification of object-oriented programs: a transformational approach (2012)
  18. Barros, José Bernardo; da Cruz, Daniela; Henriques, Pedro Rangel; Pinto, Jorge Sousa: Assertion-based slicing and slice graphs (2012)
  19. Chin, Wei-Ngan; David, Cristina; Nguyen, Huu Hai; Qin, Shengchao: Automated verification of shape, size and bag properties via user-defined predicates in separation logic (2012)
  20. da Costa, Umberto Souza; Moreira, Anamaria Martins; Musicante, Martin A.; Souza Neto, Plácido A.: JCML: A specification language for the runtime verification of Java card programs (2012)

1 2 3 ... 6 7 8 next