«se.software-engineering» etiketlenmiş sorular

Halting problemi o, başka bir program alıkoymalarla olmadığını belirlemek için bir program yazmak imkansız olduğunu belirten olası tüm giriş programlarında . Bununla birlikte, kesinlikle, benzer bir programın çalışma süresini hesaplayabilen bir program yazabilirim: for(i=0; i<N; i++) { x = 1; } ve hiç çalıştırmadan zaman karmaşıklığını döndürün .N-NN Diğer tüm …

23 computability  time-complexity  formal-methods  se.software-engineering 

Ben kendi kendine öğrenim biçimsel yöntemlerim. Kritik görev yazılımı (nükleer reaktör kontrolörü, uçak uçuş kontrolörü, uzay sondası kontrolörü gibi) oluşturmak için resmi yöntemlerin kullanıldığını (ve genellikle sadece kullanıldığını) duydum. Bu yüzden öğrenmek istiyorum: p Ancak, resmi yöntemleri öğrendikten sonra (özellikle LTL, CTL ve kardeşleri), bunların sadece spesifikasyonun doğruluğunu (güvenlik, canlılık, …

15 program-verification  formal-methods  se.software-engineering