mbeddr mbeddr.formal issues

mbeddr / mbeddr.formal

FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.

https://sites.google.com/site/fastenroot/home

Apache License 2.0

23 stars 14 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Extension of gsn.ext with IWords for pattern documentation and modelling

#64 Liana09 closed 3 years ago
1
Documentation error for enabling FSM visualization

#63 robertguetzkow closed 3 years ago
0
Unable to change case expression's auto-generated "otherwise" basic expression

#62 robertguetzkow closed 3 years ago
1
Signed and unsigned word not permitted as type

#61 robertguetzkow closed 3 years ago
2
Feature/pattern documentation2

#60 Liana09 closed 3 years ago
1
Feature/pattern documentation

#59 Liana09 closed 3 years ago
0
safety.iso26262: asil determination

#58 Liana09 closed 3 years ago
0
Adds OCRA language with textgen

#57 norro closed 3 years ago
0
changes in core analyes

#56 coolya closed 3 years ago
2
Snapshot 2020-07-28 zip contains paths that are too long

#55 Bazmundi closed 4 years ago
2
Constraining ocra expressions

#54 norro opened 4 years ago
0
Enum type for ocra

#53 norro opened 4 years ago
0
Textgen for OCRA language

#52 norro closed 4 years ago
0
Textgen for ocra language

#51 norro closed 3 years ago
1
Bundle nuxmv with safety distribution as well

#50 norro closed 4 years ago
0
Actually bundle nuxmv

#49 norro closed 4 years ago
0
Bundle nuxmv

#48 norro closed 4 years ago
1
[WiP] Initial OCRA language integration

#47 jensbuehl closed 3 years ago
9
[WiP] github actions now also performing checks

#46 norro closed 1 year ago
2
Request for Adding Support for NuXMV

#45 BentleyJOakes closed 3 years ago
2
Make strategy polygon lean to the right

#44 norro closed 4 years ago
0
Use script/command file to call nusmv

#43 norro closed 4 years ago
5
Include testing in github actions

#42 norro closed 3 years ago
1
Feature to show referred goal name and description in away goal

#41 mfgpcm closed 4 years ago
0
GSN: show text of referenced goal in away goal

#40 mfgpcm closed 4 years ago
2
safety.gsn:Implemnented smart reference for goal structure elements …

#39 jonasborg912 closed 4 years ago
1
Adds type inference for PortRef

#38 norro closed 4 years ago
0
Missing type inference for PortRef

#37 norro closed 4 years ago
0
Flattening of connections with structs of structs

#36 norro closed 4 years ago
1
Recursive flattening of connections with structs

#35 norro closed 4 years ago
0
Mapping of connections while flattening does not work for structs

#34 mfgpcm closed 4 years ago
0
Array access

#33 mfgpcm closed 4 years ago
1
Add GitHub continuous integration

#32 BentleyJOakes closed 4 years ago
0
Error: cannot find exported languages in dependencies: com.mbeddr.formal.req.tl_patterns.arch

#31 BentleyJOakes closed 4 years ago
1
Remove empty jbr directory from build script.

#30 BentleyJOakes closed 4 years ago
2
Errors in Spin Module

#29 BentleyJOakes closed 4 years ago
1
Generation issue with CBD

#28 BentleyJOakes closed 4 years ago
1
Integer keyword undefined for nusmv

#27 BentleyJOakes closed 4 years ago
2
Do Not Merge - testing gradle build with safety languages included

#26 norro closed 4 years ago
0
Add linux binaries of external nusmv tool

#25 norro closed 4 years ago
3
Add safety (gsn, req, spin) to FASTEn distribution

#24 norro closed 4 years ago
4
WiP: Add safety languages (gsn, req, ...) to gradle build

#23 norro closed 4 years ago
4
Improvements of the GSN languages

#22 ccarlan closed 4 years ago
1
Add unix nusmv

#21 norro closed 4 years ago
2
safety.GSN: Missing relationship from Strategy to Context

#20 ccarlan closed 4 years ago
0
safety.gsn: Cannot connect strategy to goal

#19 ccarlan closed 4 years ago
1
Use NuSMV show_property and LTLSPEC names for unique mapping

#18 mfgpcm closed 4 years ago
2
Gradle Exception: Buildfile: build-nusmv-languages.xml does not exist

#17 BentleyJOakes closed 4 years ago
9
Safety.GSN: The direction of the connections is wrong

#16 ccarlan closed 4 years ago
0
Safety.GSN: Enable creating connections from strategy to goals

#15 ccarlan closed 4 years ago
0

Previous Next