display_name: FormalMethodsSE
description: formal/software/deductive verification, formal methods, model checking
additional_fields: {"skyfeedBuilder":{"blocks":[{"id":"aaafr25bs5fae","type":"input","inputType":"firehose","firehoseSeconds":604800},{"id":"aaafr25bs522m","type":"regex","value":"(formal|software|deductive)\\s*-?\\s*verif|formal\\s*-?\\s*methods|model\\s*-?\\s*check(ing|er)|formal\\s*-\\s*system","target":"text|alt_text|link","caseSensitive":false},{"id":"aaafr25bs5a6g","type":"remove","subject":"duplicates"},{"id":"aaafr25bs7m5s","type":"sort","sortType":"created_at"}],"license":"EUPL-1.2","displayName":"FormalMethodsSE"}}