NuSMV sözdizimi kaydı

Kısa cevap: NuSMV, Pygments tarafından tanınan bir sözdizimi/lexer kaydıdır.

Temel bilgiler

Takma adnusmv

Dosya deseni*.smv

MIMEYok

NuSMV nedir?

NuSMV, Pygments sözdizimi vurgulama sisteminde tanımlı bir lexer kaydıdır. Bir programlama dili, işaretleme biçimi veya özel dosya formatını temsil edebilir.

Takma adlar

nusmv

Dosya desenleri

*.smv

MIME türleri

Belirtilmemiş

İlgili konular

Kaynaklar ve doğrulama:

Pygments Lexers Documentation

Kaynakta bulunmayan bilgiler tahmin edilmez. Hızla değişen veriler yayın/güncelleme tarihiyle birlikte değerlendirilmelidir.